OK, the first post has been updated to better reflect the model numbers of the iPhone5 device and the classification of GSM / CDMA now that Apple seem to have settled on selling GSM + CDMA hybrids for the "rest of the world".
Folks should check their model numbers for the iPhone5, via the instructions at the top, and that will guide them to the correct firmware.