You may want to try Jedi X20. It is a touchwiz based 4.1.2 ROM, so you get to keep all the S-Pen goodness with smooth stability and excellent battery life.. I have tried 4.2, 4.3 ROMs and always end up going back to the Jedi goodness. Try different ones out and see what makes you the happiest.