You've got $1000 to spend on a new laptop to run linux, power + portability are equal requirements (this is not a gaming laptop but coding, writing, internet'ing, etc) ... what do you buy? I'm personally partial to thinkpads but which one? New? Used?