I don't think its a big deal. whoever is buying them should just take the risk. I mean, he probably has cracked/whdload version anyway and would use original as a collector (keep it on shelf in order not to wear it out).
IMO, all you should do is inform him he won't get the manual..
