That's my regret as well for selling those ether mined. Now mostly mine to keep either BTC or other smaller coins. Else, change them to Ether and keep it.