I think I saw one up for auction but I didn't bother with it. :/
I'm very sure shipping these is a pain in the ass.
However, while I have the machine apart, I have considered adding a 3.3V regulator to the edge connector to give it support to run Power Macintosh 6400/6500 boards with its slots filled and such. Where could I find a suitable regulator for the edge connector? I think I know the Takky CCs require it to work with the PCI boards.
And yes, this is an exclusive machine to Europe and Japan... but it's really just a 5200/75LC with L2 cache added onto it and a different (and interesting for japan) set of software. I'll be sure to image the discs it came with, too.