in August, they mined 333 BTC, sold 300 for $8.6m. And got $31.7m for shutting down :v