Found Tom a nice laptop on eBay for ~$250. More than I wanted to spend, and it didn't come with a battery, but it's in excellent shape for something I bought on eBay. I spent a few hours last night setting it up for him. Now I have one less Birthday and one less Christmas present to worry about!