Just thought I'd add a little update. I got a new never-used 7-11 Nokia 5130 a few days ago. The manual section quoted in post #19 doesn't apply re the default codes, at least for this model, and they're not given in the current manual. The security code and PIN are not set by default. However, PIN2 is set and turned ON. Apparently SO uses PIN2 to control features/access and other things that are pre-setup and they don't want you to change. CS wouldn't give me the PIN2 code. I am not sure if they'd give it out to anybody, no reason why you would need it if using SO services with an SO phone, much as we'd like to have it anyway… PUKs are still available ONLY when needed, like if you changed the PIN and forgot it=locked out.

Note that things may have changed in the year+ since the last post and 2+ years since the OP re PIN2 since SO's services have changed and the phones became locked too.