That doesn't seem like it would matter either. It's a shame, but the only way to have kept it would be to melt it.
Exactly. They should go lightly and compensate him more than the value in bullion lest other discoveries get melted without ever hearing of them.