[w1ntermute]

That doesn't sound right. I had to root and install a custom ROM to get Jelly Bean on my (Verizon) Galaxy Nexus, but I have family members with (also Verizon) Galaxy Nexuses that are unrooted and have locked bootloaders. They've already got 4.0.4.

Have you tried checking for updates in the settings? Maybe your girlfriend dismissed the update notice.

[Peaker]

I checked the update notice. It says it just checked now and there are no updates.

Google Nexus is actually not a phone model but a collection of many models which are only invisibly different. Some of them get updates, some don't, even though all are advertised in the same way.

This is the model:

http://www.amazon.com/gp/product/B005XYU45E/ref=oh_details_o...

And it is a "yakjudv" (Australian build) according to the System Information app. It seems I'm waiting for some Australians to let the updates through (if they go through at all). When I bought it from Amazon, it was advertised as a "Pure Google Experience".

I think Google really messed up again. The "Google Nexus" should have been a simple and uniform experience, and not a bunch of branded-phone-hell.