Just bought a Thinkpad T420 the other day, refurbished for $260. Got Arch Linux installed and set up, now just need to image the hard drive and then put OpenBSD on the other half of the hard drive. I did it the other day half-drunk and hosed the partition table, so, er, I'm waiting until I have a backup this time.