Does anyone know if nokia will becoming out with an American version of the 7200, one that operates on GSM 1900MHz?