yo te recomiendo probar las roms 4.3 que están en la sección roms, algunas custom basadas en stock. muchas están mas trabajadas que las que libero el mismo samssung por lo que muchos problemas están solucionados, o trabajan mejor. por otra parte los problemas de lag se pueden solucionar cambiando de kernel, ademas de mejorar el rendimiento de la batería, revisa los hilos de las roms y ve por experiencia de los mismos usuarios que instalan esas rom que problemas tienen o que cosas buenas tiene cada rom. saludos