You might have a problem with licensing, as if either of your original Windows licenses were OEM, you can't transfer them to new hardware. Not that I'm a stickler myself exactly, but Windows 95 (which you'll have to virtualise as you probably won't get hardware support for it any more). Or you can use a free virtulisation solution. My brother swears by the Sun one, but I'm not too sure about the Windows 95 support on it. My work supplies me a Dell Latitude 630 and I think it's barely adequate. The 830 is better, but they're still heavy and the battery life isn't great. I like Mac's, but you'd still run into a license issue unless you own a full copy of Windows XP, and I'm yet to see a docking station on a Mac. As far as I know you can't get full versions of XP any more, and if you did the $$$ mean more you spend on software the less you have to spend on hardware. I'd go with the ThinkPad myself. I have an old one I use at home, 1440*900 resolution, docking station etc. Runs dual monitors under Windows and unix really well and solid as.

Hell, I'll cable it for $20K... I generally work on $70 per RJ45 outlet, although that doesn't include a switch and doesn't cover very long runs (generally more than 30 meters).