Thanks, Merc. When I first saw "Core Solo" listed on a model, I did a double-take, but figured it must be a single-core verison of the Core-Duo. The user is even more price sensitive than I guessed, so I've just found him choices and will let him make the decision.
Typing this on the trusty, 5 year old Stinkpad T23 (P3-1133 MHz). Still fast enough for most uses, and the new Samsung 100Gb drive and W2k are the bottlenecks leading to long boot times. It is getting long in the tooth, though.
Also, there is a problem somewhere; after a multi-hour hibernation it loses internet connectivity that is fixed only with a reboot. IBM last released a driver for W2k in 2002, and I'm already running it.