I just bought a used AT&T version of the HTX One X. I will eventually activate it with an AT&T MVNO but am not ready to do that now. The Android version is 4.0.4 and when I try to update it via wifi, I get a "no server found" which I assume it means no AT&T server. Is it possible to update the software OTA automatically or do I have to use the HTC sync manager and do it manually? I have no interest in rooting or installing a custom ROM but I would like to be on the latest official Android release.