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