I just bought a used Evinrude, model number E25RCSA which appears to be in very good condition. It has NGK plugs although my stepson keeps telling me it should have Champions. It seem to run okay, but I found a sticker on a wire which suggests Champions L77J4 or AC M40FFX. I hope somebody can let me know if I should replace the plugs with Champions or if it's okay to leave the NGKs.