title says it all.
if you are opening the end cover, to replace the
input nut or ???, you'll need a new gasket.
i have one, unopened.
$12 includes shipping.
gasket is brand new in original sealed plastic.
leftover extra i bought when i attempted the fix.
paid close to $20 for it, happy if someone else
could benefit from it.