La otra opción son los Celeron más económicos de algunas marcas. Acer los tiene a 800 €.
Sí. Se me sale de presupuesto, pero supongo que tendré que estirarme, o acabar regalándole un barebone.

Y de segunda mano? Los hay con buenas características a buenos precios, el único inconvenientes es que no sabes cómo está de salud la batería.
Si fuese para mí no me importaría, pero al ser un regalo gordo (cumpleaños y Navidades), pues como que me sabe fatal.

gracias a todos por las sugerencias.