Yo le puse Cyanogenmod 10.1 los primeros dias. Es una verguenza la ROM oficial: lenta, lagueada, con underclock, con aplicaciones chorras que no sirven para nada y que te comen la RAM y además estancada en 4.0.3; como todas las ROMS de Samsung...
Con Cyanogenmod tienes 4.2.2 y bastante más fluido, además con el kernel de Tuxlin va ultra fluida, con los drivers para usar pinchos 3G, con el procesador a 1,2Ghz, que es para la frecuencia para la que está diseñado (no a 1Ghz, que es la frecuencia del kernel stock) además de la posibilidad de hacer overclock.
En los juegos es en lo que más se nota, con la rom stock iban a saltos, ahora van todos perfectamente.