Looking on eBay, it looks like I'm spending quite a bit more than $100 to get an old thinkpad of this era.