[saurik]

You win this round (edit: maybe). I thought there were only two models:

1) A1429: Verizon. supports GSM (basic), CDMA (basic + LTE)

2) A1428: AT&T. supports GSM (basic), GSM (LTE)

However, there really are three. (edit: Or not. I've been asking around and there are mixed opinions. We generally care deeply, being those crazy jailbreak people, but we haven't gotten to that stage on the 5 yet.)

I can then say that there are only two device names: iPhone5,1 and iPhone5,2, so yeah: normal ways to differentiate them won't work, you'd have to do something special.