It's still stuck on 4.0.1 with no update in sight...
Have you tried checking for updates in the settings? Maybe your girlfriend dismissed the update notice.
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.
I was able to "trick" my nexus into updating, by clearing the data from the Google Data Services Framework. That seems to work for some people. Unlocking and flashing is an option that some power users take--particularlly those with LTE phones where there is no OTA yet.
http://thedroidguy.com/2012/07/google-releases-jelly-bean-ot...
I used to own a really nice Android HTC G2. 'Cept the updates didn't seem to be rolling in.
Got tired of that quickly.