I mined quite a lot (around 70,000), most of which I had sold on dex.subi.io ... stupid me left my BTC on the exchange

I feel for you. I didn't mine near as much as you, only 10k for a MN. I kept my .dat file in case the coin ever comes back. But a lot of people got played really well.