Yo te recomiendo que pongas una ROM que no sea de operador, ya que estas suelen venir cargadas de aplicaciones y personalización basura que entorpece el funcionamiento del teléfono
Te recomiendo que sigas el segundo enlace de mi firma para poner la última libre oficial de Samsung
Y si quieres pasar a 4.0, 4.1 o 4.2, ese tutorial te irá muy bien para coger soltura y aprender los principios del flasheo ;)
