As an update, I have also been looking at an HP DV6936 -- very similar to the DV5T, except that it has an Intel T5750 (2.0 GHz) processor, rather than the Intel 5800 processor. I don't know how much better/worse the T5750 is as I have been unable to find much info on it.
The other downside...