Agreed with the dual video cards - my friend has trouble on his laptop, and I am pretty sure that's what causing it. I've been very happy with my HD4000 grapics card. It handles the desktop environment very well, is low power, and has excellent open source drivers. It's probably not amazing for gaming, but I didn't buy it for that.
I had so many problems with this on my T400 running Ubuntu 12.04. I had roughly half the battery life compared to when it was running Windows because there was no way to disable/enable the discrete and integrated cards. That was so frustrating.
