Boas, vou comprar afinal um ASUS fz50vx, que foi o que me conseguiram arranjar, tem praticamente as mesmas specs daquele hp e vai-me ficar por menos de 800€. Obrigado a todos pela ajuda!
Encontrem os preços mais baratos dos componentes no Comparador ZWAME. Partilhem o link nas sugestões que apresentam.