If your "friend" wants to shed some light on a possible hack on MtGox that could have gone unnoticed, EVERYONE would appreciate it. Otherwise, not much else you can do (I guess) since, as pointed out, the only way this seems possible is by MtGox being hacked, which would mean he would be entitled to get his BTC back from them.