Buenas, yo personalmente me tiraría a por el ASUS de esos que has puesto, HP son muy calentorros yo tuve uno y no lo compraría de nuevo, a no ser que los nuevos modelos vayan mejor.
De lo contrario si no encuentras los que buscas y quieres tirar por la segunda mano algo más potente y con el precio que quieres, yo vendo uno con algunos extras y super cuidado, podríamos llegar a un acuerdo en el precio, si no pues como te digo arriba me tiraría a por el ASUS.
Un saludo