lol in 2009 even I also mined BTC from my university desktop and it still belongs to the university. as I remember I had some considerable amount of BTCs in my wallet those days. after we all forgot BTC for several years and yes the wallet passwords too:/, not worrying about something which we can be never seen in our entire life again. 

ask him to forget all the incidents and restart what he was doing... no worries pal