I think Briggs & Stratton are out of business altogether now.
This is the future, if the greenies get their way:
https://cottagecraftworks.com/clipper-push-reel-lawn-mowers
I cut my first lawn as a kid with one of those. 1963. Every little twig I ran over would jam the rotating cutters. Took me two hours for just the front lawn, so the lady gave me $1.25 instead of the dollar we had agreed on.