If he had kept his seed phrase for his wallet, he would be able to recover the funds to a new hard drive. This was very common advice if you did a little bit of research before purchasing btc. I can’t judge too much though as I ignored a dogecoin wallet when they were worthless but 500,000 doge suddenly felt less worthless once doge pushed past 5-10 cents, but by that time, my wallet was gone and I had lost my seed.
Id have had 100k if i sold at 20 cents. And that doesnt even factor in the thousands of doge i gambled away on pokershibes, a dogecoin poker site.