The ad you mention is certainly for a very rare "ultra premium" scope. Is it worth $9k used? I can't say.
What I can say is that Intes Micro of Russia are regarded as one of the best makers of Maks in the world. One place in SA sells them, see the ad for "Takahashi Australia" on the side of IIS, or click here
http://www.astronomy-electronics-centre.com.au/
Apparently these are all made to order now so it can take a few weeks to get one. There are a few people on IIS with Intes Micro scopes. I had a 7" f/15 for a while but circumstances at the time prevented me from getting real use out of it and I sold it. Optics were very good. Should have kept it...
Cheers
Morton