Why would the bitcoins be lost with the hard drive? I don't know much about wallets but could he not retrieve them on another machine?