Hello,
I had a Galaxy Nexus running Android 4.2.1 and it broke. My insurance replaced it, so I have a new Galaxy Nexus running Android 4.0.2. The new phone doesn't show that any system updates are available. (Well, I think it updated from 4.0.0 to 4.0.2 as soon as I turned it on, but nothing...