Mine is red.
I think.
Somewhere under all the dirt and gunk and grass and greasy oily sludge, I think it's red.
I have an owner's manual around the house for a Craftsman mower. I think it's for the one in the garage. Old POS. Pump the little rubber primer bulby-thing 15 or 20 times, and it starts first or second pull, every time. It was free to me, so it's disposable when it finally dies.
I hate lawns. Weeds and watering and edging and cutting... I've got other things to do, like sit back on the deck with a cold one. Hell, I put the deck in so I'd have less lawn to mow.
You don't have to mow rocks. Maybe a rock garden, front and back...