There's no way to get the data or reset the password for TrueCrypt, which is one reason why it's so good and secure. If he can give up the data, then he should be able to format the hard drive. A low level, quick format won't wipe the drive. He'll have to do a full, deep format and partition it. Leo advises Derik's Boot and Nuke (DBAN) to wipe it clean. If that doesn't work, then Leo says the password may be a hard drive or BIOS password, and that's another hassle altogether.