Si no te importa mucho la marca, y buscas algo con GNU/Linux y barato, puedes encontrar uno de
12 pulgadas por 549 euros,
15 pulgadas por 479 euros, y
17 pulgadas por 639 euros (los precios incluyen IVA, y al menos en dos casos, también transporte). Esos son los modelos más baratos, pero si subes el presupuesto puedes encontrar cosas mucho más interesantes. Y si buscas algo en concreto, te pueden hacer un presupuesto personalizado.
No he comprado nunca en esa tienda porque me cae un poco lejos y me gusta tener cerca a quien me vende las cosas, así que no te puedo decir si son equipos buenos o malos. Alguna vez les he pedido detalles de peso y autonomía sobre algún equipo, y no eran ninguna maravilla en ese aspecto, pero daban la talla.