Ya te digo que como mínimo las operadores tardan entre 3-6 meses en modificar la ROM oficial, así que sí, yo os recomendaría que instalarais la ROM libre.
De todos modos, hasta que se confirme oficialmente, seguimos sin 4.2, así que no os apureis a cambiar de ROM.
Saludos.