So, I've come to the conclusion that I'm going to replace the stator and the gasket. I was wondering if anyone had this part of the service manual handy? I was wondering about the torque specs of the bolts on the cover and the particular pattern to tighten them, if any. I was also wondering if it is recommended to use some RTV type of product around the grommet for the wiring. If so, only on the sides that directly touch the case or all the way around, including where the grommet touches the gasket? Thanks again for all of the help!