Correct on all counts. Cheapest you can find them is $700, they're usually more in the $800+ area, and with the exception of one place in California there's no one in the Western hemisphere that sells them. Absolutely STELLAR headphones. I've never heard a headphone where all ends of the spectrum somehow seem to be powerful without the overall sound being "clinical". The highs are sparkly, bass is powerful, mids full, but it's all incredibly alive and vibrant. I could gush about the things for days. I haven't heard the Alphas, but I know that I had a credit card in my hand and was ready to go for HE-500s (the HE-6 was great but didn't warrant its cost) or LCD2s and decided on these instead.
EDIT: I see you're in China so there's a handful of Jabens out there that have 'em. Go check them out if any of them are nearby! http://final-audio-design.com/en/shops
Yes, apparently they do, but it'd take a (bullet) train ride to get to the nearest one (Nanjing). That, and I won't be able to go there since the family has to move out, and I don't feel so well today, so I'm staying home listening to my music. Then again, knowing stores throughout China, they probably have a store account on TaoBao, which has them to your doorstep in a few days without even getting out of the house (although one will need to break a bank prior to the purchase).
I recall ericp10 recently purchasing a pair and said that he absolutely loves them. He also said that the positives on those headphones were basically limitless, so I guess the praise shouldn't come as a surprise anymore. Pretending I have enough cash to splurge on one of these babies, how much amplification would they need?