Я бы посоветовал присмотреться к Lenovo thinkpad T серии. Там разные конфигурации под любые финансовые возможности. Уже 3 года пользуюсь только подобными моделями и дома и на работе. Жутко доволен.
Последнюю неделю работаю за thinkpad t520. FN немного бесит, да и в целом к клаве пока еще привыкаю, а так отличная машинка. И наудивление довольна легкая, хотя и выглядит как танк)
Я за первый вариант. Кстати, советую еще обратить внимание на Lenovo Y570s. Неделю назад себе такой взял там тоже i7,4Гб,GT555 + SSD. Как мне показалось по соотношению цена/производительность он определенно в топе.