Некоторые соображения:
— Диск лучше заменить на гибридный. Цена как у обычного, а SSD-кеш на 32 Gb выравнивает скорость с чистым SSD. Объем для гибридным максимум пока 750Gb, чего более чем достаточно.
--Память тоже лучше сразу заменить на PC1800 и объемомо минимум 16Gb (лучше32Gb). Рано или поздно придется разворачивать виртуалки а они жрут память.
В связи с этитим выбираем ноут из которого все это можно демонтировать, например HP EliteBook 2540p (WK303EA) на i7… стоит 34 тыс. и все необходимые расширения обойдутся еще в $400 (при 32Gb оперативки).
В принципе, три километра пешком это вообще не разговор (летом на велосипеде даже смешно про это говорить). Для переноск лучше всего рюкзак, а в нем лишний килограмм не заметен вообще. Так что можно, думаю, еще найти что-то более бюджетное. Хотя HP вполне. По крайне мере сервис у них по России налажен.