That's too bad. Lossing the wallet.dat file itself will negate all chances of ever getting them coins back. Cause if he still has the wallet I heard there's already a way to get the password using third party service.