Maybe he had 8,000 not 7,500
http://bitcoinrichlist.com/top500118 $ 9,040,000.00 8,000.00000000 198aMn6ZYAczwrE5NvNTUMyJ5qkfy4g3Hi Apr 26, 2009 9:18:39 PM -0800119 $ 8,973,397.80 7,941.06000000 15Z5YJaaNSxeynvr6uW6jQZLwq3n1Hu6RX May 4, 2010 11:37:07 PM -0800120 $ 8,939,554.30 7,911.11000000 13uraL1Maba7obbhkdB4pjsqMyvqrcTeeD Feb 26, 2011 11:19:06 PM -0800121 $ 8,845,840.11 7,828.17708947 1KZuArAUDvjgywt127dPKMdJzzA8bSkGrq Aug 13, 2013 4:14:50 AM -0800
122 $ 8,829,006.40 7,813.28000000 14WTJwqfcSHKiswb49ytQktWKbx1bqTXLR Aug 25, 2013 3:41:10 AM -0800
123 $ 8,788,888.89 7,777.77777778 13Mu4HhLD4YWPbji62HPLj3p1S54ZVzkvT Aug 20, 2013 6:12:55 AM -0800
124 $ 8,701,000.00 7,700.00000000 1FLFnbN7m5psLfvLEwYfRUUjJ34YkmV3dM Oct 9, 2013 10:21:53 AM -0800
125 $ 8,654,783.00 7,659.10000000 1e6AzmPF35S3JTE8QMXD3k7oczJ7QgCSa Jun 19, 2011 9:01:48 PM -0800126 $ 8,524,380.21 7,543.69930000 154Fc9uwKrpNjqdv413En9cK1VN8PwUqfW Nov 28, 2013 12:34:50 AM -0800
127 $ 8,476,255.32 7,501.11090000 1LDipoYVWA7UsFzWrrcXUGLnsXWuYaJB9f Nov 8, 2013 12:44:27 PM -0800
128 $ 8,475,000.00 7,500.00000000 189ivm7yVJrktRWE7KwcxrU27U3SMCh6mp Nov 23, 2013 6:19:43 AM -0800
129 $ 8,045,600.00 7,120.00000001 1AJFV9jkMZNfv1YMLhWKAFpHDxjaskgaYK Nov 8, 2013 1:56:05 AM -0800
130 $ 8,032,556.91 7,108.45744205 1FfdcppWbJ7FeQFznsjdLYNXdwMdoiTGSA Oct 3, 2013 3:33:10 AM -0800
Using the address, if he can remember where his wallet was held , e.g bolckchain/ coinbase etc. he may be able to start an action to prove that it was his and recover them. Is that possible?