If you’re willing to spend a little more, I cannot recommend Walkers enough.
For a residential yard of less than one acre, this one would be ideal:
Walker Model S
It will set you back $13,500 but they are cheap to maintain. Blades are gear driven instead of belt driven, so you don’t have to worry about throwing belts. Dual hydrostatic steering. You just steer with your fingers. And the collection deck plus grass collector on the back has such good suction that it will stripe your lawn with every mow. Ideal for lawns that are pure and not rough. If you treat your lawn the right way outside of mowing, it will look like a golf course with one of these. The deck is engineered so you won’t scalp your lawn. I have the Model T and I’ll never own a different brand.
And probably the best thing about these is you can buy a lot of cool attachments for them that hook into the PTO:
Snowblower
Snow Blade
Dethatcher
Boom Sprayer
Cab
Broom
Loader Bucket
Depending on what your occupation/schedule is, you can slowly accumulate these attachments and start making money in your spare time. Start a little business. Handle the mowing and snow removal for your neighborhood.