I've heard of programs that will write all 1s or all 0s over all of the data of the hard drive. I'm not sure what it is or where to find it, though. Also, you're very right about formatting not deleting data permanentely, most file recovery software can recover data that has been formatted.