Well, when he lost all these bitcoins they probably were pretty cheap being able to buy them, but what you said is true, seeing that huge amount of money on limbo and think that BTC were mine is just sad. I hope that guy mined more BTC or bought some when price was ridiculous cheap. And like he, there are many people in the same situación and some with quantities above thousands of BTC.