Does anyone know if the US GSM and/or CDMA Pre3s have already been produced? If so, what do you think HP will do with the stock? I'd buy a cheap off-contract Verizon Pre3 and use it until the other smartphone OSes mature to webOS's level. I'm sure Internalz could tide me over with any necessary patches.