While that was in the shop, I bought a similarly spec'd used Thinkpad for under $500 and like it more in almost every way.