Although he wrote them down, I would still suggest looking for the wallet.dat. I would also look at getting a tool to grab his Internet Browser saved passwords, most people use the same password for everything, Worth a try.
Good luck. hope you find what you are looking for.