Yo le pongo 9. La versión 4.2.1 es sin duda polémica. A mi me va genial, a otros desastrosamente, pero es algo muy fácilmente solucionable con el estupendo Toolkit para el galaxy nexus (puedes hacer de todo con el móvil con solo un click). En resumen, es el mejor móvil que he tenido de largo. Merece la pena sin duda, pero por la diferencia de precio yo iría a por el Nexus 4.