I'm thinking of buying myself a ThinkPad to run Linux on it. I've never owned one, and never ran Linux on anything. What are the differences between these two besides the size and numpad? Should I know something?