With that amount of money, it is really worth hiring a lawyer specialized in these issues. Thats probably not a rich man who mined those coins at an early stage and doesnt know how to cash them out because a really wealthy man wouldnt ask those questions.