The HOA in the neighborhood I grew up in mandated grass from a narrow list of types, and live oak trees. That's fine for about 15 years, give or take, but then the trees start to kill the grasses below them. This wasn't a groundbreaking horticultural discovery, but the rules were written that way nonetheless.
It took years for the neighborhood to convince the HOA to allow other kinds of ground cover (jasmine, frog fruit, etc.). In the mean time, people were paying yearly to resod with new grass, or have to pay fines that cost more than just paying for new sod.
It's not insane but it sure sounds like overkill to me. That's a good bit for just mowing, and once a week is significantly more than I would expect from someone who views lawn mowing as an expensive necessity.
(I'm assuming an area where grass actually fits the environment. If grass won't just grow then that's a problem that doesn't need more explanation.)