[katabatic]

That is correct - all 4s devices have both CDMA and GSM support; the difference between the AT&T and Verizon "versions" is just one of activation, basically.