> > I have not yet been able to locate one of these, although I now know
> > the part number, which is 17-03335-01.
> Andf it is even in the UK:
Thanks Emanuel. Actually I have already seen that page. It looks like one of
those sites that speculatively lists everything imaginable but doesn't
actually have it available, and in any case it looks like it only serves
business customers. Maybe I should just try giving them a call anyway.