OK the gubmint can have the coins, just give them the $10 mil as a finders fee.
they should have sent them to PCGS