Has anyone used a Verizon Pre 3 outside the US (GSM)? I think I heard that there was a problem with the antenna which prevented it from working. Has anyone confirmed this?