Quick question to the general populace:

Anybody know what Cryptx originally paid for the first batch of A2 Innosilicon miners that came online directly after the IPO? I didn't find anywhere where Cryptx mentioned it (naturally), so instead I'm trying to find information / pricing from group buys that happened early / mid May (and possibly a few weeks earlier than that). Based on what I've seen so far, I've estimated $10,000 each, but I may be a bit off if there were other deals going on at the time.