Yes that sounds like it will work Norm ,the one in the link looks like it will suit the early Ariens ride on mower.
If I put a new motor on these Rover ride on mowers it would still only sell for $250. here and someone would probably drive a 4 hour round trip to buy it as that's what has happened in the past.That's still not a bad outcome because of all the calls that want me to drive 4 hours to deliver the mower.