Qual ar comprar para praia?

[Alternador]

OI pessoal. Eu nao entendo muito de ar condicionado, preciso de um para por no meu quarto (3m x 3m)na minha casa de praia. então pode ser so frio. Pensei nesses modelos:
Ar Condicionado Split Samsung 9.000BTUs AS09UWBUXAZ R$ 1.082,05
Ar Condicionado Split Consul 9.000BTUs CBE09AB / CBH09AB R$ 1.082,05
Ar Condicionado Split LG 7.500BTUs TS-C072YMA0 R$ 1.089,00
Ar Condicionado Split Electrolux 7.000BTUs TI/TE07R R$ 1.092,31

Tem que ser nessa faixa até uns 1100,00 é pra casa de praia entao nao da pra investir muito.
Opinem por favor, citem outros modelos para contribuir tambem.
Obrigado