Acho dificil vc conseguir este asus por este preço aqui no brasil, se não me engano o cara do hm comprou lá e legalizou quando voltou para o Brasil.
Caso vc consigua pegue sem pensar 2 vezes.
Como o colega falou, HP só se for a do Brasil para ter assistência, eu tenho um hp hdx16 e não tenho cobertura nenhuma da hp brasileira (sabia disso quando comprei).
Quando a gateway é uma empresa séria, problemas vc pode ter com qualquer uma DELL, HP, asus, etc.
Dá uma olhada neste aqui:
http://www.gatewaybrasil.com.br/modelos/M-6888U.htm.
Da dell eu pegaria a linha Vostro, porém não tem HDMI.
Da HP, tem a linha DV4, DV5.
Dá uma olhada nos powernote tmb.