New lawn mower...

Personally, on a small residential sized lawn, I would rather use a push type reel mower.
I have a twenty year old 4hp Craftsman for my lawn. If it dies I'll probably put a new motor on it like I did on my DR trimmer mower. Went bigger... uhr, uhr, uhr. (BTW, always check for mouse nests under the covers where the air cools the head after storage for a while.)
California has banned a lot of engines and tools so we have to get creative out here.