This X9:
http://tinyurl.com/9gt946c sold for almost $3000! This is a somewhat rough example: cosmetically, there are some deep scratches on it from rackmounting, and no remote included. There are tons of much nicer examples available on the Japanese market: for example Hifido (ships worldwide and well known for packing well) sold this X9
http://www.hifido.co.jp/KWhld-x9/G1/E/0 ... -51887-00/ in june for 138000 yen, and it included the original paperwork and remote. Here is a comparable example from Yahoo JP (no manual/remote) that only went for 61000 yen (a mere 769 dollars!):
http://y.aucfan.com/aucview/yahoo/w78448162/ If I was going to spend $3k on an X9, I would probably just get the one that Nicholas Santini has for that price, and pay the extra in shipping to get a nicer X9 from Japan. Even with high shipping, importing from Japan makes sense if you are after an X9.