Yeah, I talked to HTC about this as well and got a completely different answer. Turns out that there isn't GSM based radios in the device at all (gold plated antennas doesn't prove what type of radio is in the phone). The options to use these radios are built into the software even though the hardware doesn't exist. This causes the wcdma reboot problem. The next update from HTC will remove these options.
Sent from my Galaxy Nexus using DroidForums