btw, I wasn't kidding with the "NINO" stuff. Today I learned that if you don't buy the Nexus from the Google Play Store, updates will be handled by Samsung or the carriers.
Hilarious shit.
Wut.
Still, I'll imagine you'll root the phone anyway and run a custom ROM so it won't be an issue.