If you are pulling the powerhead to service the water pump, that would be the time to repair the leaking and worn shifter.
To do it, I drill out the exhaust housing to accept a short piece of brass tubing which I get from a hobby store. The tube is then epoxied into the housing and a new O ring with some water proof grease solves the problem.
