well, considering that in order for them to have mined $3.4M worth of bitcoins, they would have needed 11,333 coins (at $300 per coin). In order to mine 11,333 coins in the three months since their last financial report, they would need to be running about 11.5 PH/s, 24 hours a day.
I think we would have heard an announcement about them receiving 11.5 PH/s worth of servers and having them running..
Market Data 
Markets 
AI
