Hello, I've been a happy user of my 600e for some years now, but lately I've been thinking a lot about upgrading to a faster model. I've been thinking about getting a used x31 or x41. Is it worth the extra money to get a x41? Any drawbacks? Is there a good place to get (a refurbished) thinkpad in Europe? Kind regards, Rolf