I arrived at this thread because I'm stuck deciding between the same machines, plus one: the Samsung Series 7.
I've started a new job where I need to provide my own machine, which I'll need to carry home from the office every day. So portability will be key...
The Samsung Series 7 gets added...