My father has a 35HP model 357HE s/n 3235. I maintain it for him and drive it basically twice a year - to put it in and take it out, so when it has problems, I'm not there to witness what happened. Last year it stalled out and my father had it towed to a shop and they said all they did was...