I know some guy lost his hard drive 7200 BTC - I was just curious if anyone has been keeping a record or if there is a list somewhere.