if it actually was sold, my guess would be something around $1250-$1500.  depending on what time of day that was,  it could have been anywhere from around 2 to 2.5BTC?

ppl pay $1200 for those avalons that use twice as much elec, so i imagine this would be higher

and, yes, both amts are way too much.   that's why it's better for these ASIC developers to sell their ASICs rather than mining with them