As this post shows they are no longer making them basically & the writing is on the wall that electric is the replacement of choice. I'm sure they stated the same on gasoline engines once upon a time, when they used a manual reel mower, but that will be changing & parts availability, probably, an old issue of pandemic supply chain woes. Electric push mowers have been around for 75 years & the electric buyers are getting service out of them since they are getting bigger, more capable. They do have their own limitations, yes, & that is still evolving for now. Parts availability is an issue w/just about every market though even gasoline powered equipment.