Portátil para Linux

[moikano→@]

Hola.

Estoy mirándome portátiles para trabajar con Linux ( Preferíblemente Debian ), entornos de desarrollo y con máquinas virtuales.
Lo que busco:
-Marca: a poder ser de gama media/alta. Aunque estoy abierto a otras opciones.
-Pantalla: 15 o 17.
-CPU: A poder ser i7 de 5ª generación.
-RAM: Bastante, unos 16GB
-Gráfica: esta puede ser la mas baja del mercado, no importa mucho.
-Disco duro: indiferente.
-Todo lo demás:indiferente.
-Precio: entre los 1000€ y 1500€

Cuando vaya encontrando alguno que me guste los iré poniendo aquí.

http://www.toshiba.es/laptops/satellite-pro/satellite-pro-r50-b/satellite-pro-r50-b-15z/
http://es.msi.com/product/notebook/PX60-2QD.html#hero-specification

Gracias!