Hehe, I figured that as soon as I made that post Bitmain would make the official announcement. Nice.
I can't find on their website where the price guessing game is. Supposedly that started already.
If we talk about retail buyers, prices will start from 15,000 dollars, without discounts and coupons, in my opinion.
But large mining companies will probably buy these ASICs for less than $9,000. This is the problem with home mining, if you need to buy 1-2 ASICs.