I'm considering buying a new ThinkPad to replace my R31. I see models such as the Edge 15 & Edge 14W and am wondering how they are with Linux. Any opinions? Recommendations? Any computer I buy must have the Trackpoint, as I hate using those little pads for a mouse. tnx jk