Yo estoy en las mismas. Creo que al final lo haré con el Toolkit de Wugfresh. (lo estoy descarganado ahora). Si no, lo haré con el tutorial que comenta canariokikere.
http://www.wugfresh.com/nrt
Otra opción es con el Galaxy Nexus Toolkit. El problema es que cuando te pregunta tu versión aún no aparece la 4.2. Creo que para flashear una stock image se puede seleccionar culquiera de las otras, pero no me quiero arriesgar a liarla.
http://forum.xda-developers.com/show....php?t=1614827
Lo que me gustaría saber es si hay alguna manera de quitar la molesta notifiación de OTA disponible una vez que haya hecho el downgrade.