Upgrade Nexus i9250

Ciao a tutti, sono un felice possessore di un Galaxy Nexus i9250.
Un mesetto fa ho ricevuto l'upgrade a Jelly Bean 4.1.2
Dopo di che ho dovuto mandare il cell in assistenza per un problemino.
Ieri l'ho ritirato ma mi è tornato indietro con la versione 4.1.1 e non ne vuole sapere di aggiornarsi.
A questo punto vorrei sapere se mi conviene fare l'aggiornamento manuale o aspettare quello OTA.
Ci sono differenze tra le due opzioni?
Grazie.

La versione del Kernel è la seguente:
3.0.31-g6fb96c9
android-build@vpbs1)
#1 SMP PREEMPT Thu Jun 28 11:02:39 PDT
2012

Il build:
JRO03C.I9250XWLH2