[8-ball]

I bet he paid more than it was worth to fix it anyways you can get used push mowers or motors for litterally $15-30 that work.