I say no,but not impossible.

I know a lot of btc addies used by bitmaintech  their btc sales are not that high.  way less  10,000 s-5's more like 4000.

 now they could provide a hidden address to a big farm and they could also sell tons via bank transfer.
 
 So if they did 6000  that way and 4000 via btc it is only 10000 units which = 11.5ph.

 But  I do think they may have working s-6 units they fired them up and back down. which could be 4th a unit x 2000 = 8ph.