did you go with the x1 carbon? currently on desktop linux and have been eyeing thinkpad laptops for awhile, but can't make up my mind