Great links! He should be able to make some headway with those.
And interesting point about the laptop bios. I had tried a battery reset on the wife's crapped out laptop, but hadn't thought of reseating the hard drive. Of course my luck I'll get the old one back to life after buying the new one. Got to try it just to know.