I think that was more down to 4.0.3 not being stable than anything else. Even the T-mobile Nexus S had that OTA pulled after 2 weeks, so made no sense to push it out to the 4G.