thinking about getting a 17" ultrabook to replace my hp nw9440 which is a beast to travel with.  anyone have suggestions?