My son has an '01 25HP Johnson and as preventive maintenance, I would like to replace the water pump. What is involved with the repair? Any special tools or cautions? Many Thanks! Mike