Bowl gasket needs to be replaced on my 12JE. Is it hard to replace? Any special tools needed? Anything else I should replace while I'm in there?