 You paid them for so many cuts. Maybe that's their approach. Maybe that's their look at it. I don't know that. But the answer to that question is, could it damage the turf? Yes, it could. It could. So if it doesn't need mowing, don't mow it. And it doesn't stand up to traffic nearly as well when it's drought-stressed either. So just staying off of it is a plus.