Micro Seiki RX5000

Looking to purchase a RX5000
Is there any good options as to where I should start looking. Also looking for a general cost
right here..also start looking for a penpal from Japan.
I just googled it and found this on the first page. From Germany:

They are undoubtedly good and a work of art. I was a dealer for them in the days when they were current but never carried any. Be prepared to spend a lot for one, they are quite rare and not enough of them come up to give an estimate.
Here you go...$7000

In Germany is one available in 100V,60hz in clean condition for 6k + shipping

Micro Seiki / RX 5000/RY 5500
Can you please pass on the Link
cbojsa? Did you ever buy a Rx-5000? Bob