That 13K sq ft is a bit much to mow with a push mower, even self-propelled. It is sloped from front to back and at my advanced age...
A lawn tractor is a nice luxury for me.I change up the mowing patterns so no ruts, etc. The failure on the JD was a failed connector rod which is probably more related to the eng. manuf. B&S, thus my search is excluding those motors if possible.
I've done my research, mine is not an isolated incident with JD machines. Additionally, I have had a Craftsmen snow thrower for 25+ years and never a problem. The Craftsman moves frozen water, the lawn tractor small blades of grass. Though hours per year are significantly less with the snow thrower, it's appalling to spend $1800 on a lawn mower and get 4 seasons of use out of it.