He doesn't have to publish the provenance here, but the auctioneers will want to know. If he lives near to an auction house that specialises in coins it might be worth a visit after he has a bit more information. It is in the auctioneers best interest to get the highest price, so they may have advice about selling single coins or lots. But first information.