Thanks for your reply.
I am a professional mechanic and experienced machinist. My thing is industrial pumps, and also as a hobby off road and dual sport motorcycles, but not riding mowers. I have all sorts of service manuals for these, and once I see the recommended way to deal with a problem...