How exactly would he recover them? The coins don't live on the hard drive. They live on the blockchain. So he had them in a wallet that he knows the password to? Maybe? I dunno.
Assuming the hard drive isn't damaged beyond repair they could be exported?
His private key lives on the usb stick.