I see that Champion RC12YC's are recommended but I tend to run rich and the engine has seen better days. I was thinking of running a hotter plug but was wondering what is working or if I should swap my NGK's (BCPR5ES-11) for a set of Champions RC12YC?