Has anyone here experience with the Lenovo T410 and linux? I'm looking to replace my Sony Vaio and prefer a smaller screen, business oriented unit rather than the oversize, wide models that appear more suited to movies and gaming. Recommendations for other brands and models very welcome. Rich