Personally, I'd tell him to either go with a ThinkPad Txxx model, or X-series model. ThinkPads are built with quality hardware, Lenovo's customer service is good, and they are solid as a rock. I love my X40 almost more than my MBP-- and the machine is nearly 5 years old.
...Lenovo x200 would be the way to go (w/ winXP Pro)...