QUOTE (ThorsChariot @ Jul 16 2010, 12:01 AM)

Either one of those should fix the problem.

. Just be sure to clean any old gasket material off of the cover and case, make sure it's real clean, (don't gouge it) and then re-assemble with either a new gasket or RTV, and it will be just fine.