boas estou a pensar em comprar um nokia 8801 no ebay mas este vem com gsm 850/1800/1900 MHz sera k funciona em portugal com cartao tmn?