There is no mining which is the big issue. The big issue with their plan is that they hold 85% of the outstanding coins, which at current rates makes them billionaires. No doubt they will liquidate it in chunks to move it from digital potential to cold hard cash.