I want to get a Thinkpad for school, engineering work (i.e. CAD, programming), and occasional light gaming. Want to spend around 500 USD or less, willing to go over for good reason. Which should I buy?