Mmm.. looks like Android 4.2 is available (sort of) for the Galaxy Nexus now too.

Installing it the hard way.. smile