It’s a storm drain! It’s okay. You can be jealous.
It turns out that the drainage tile in our yard was mostly fine — a few crack and slips here and there but mostly good. The contractor fixed those minor things and then put in some additional storm drains so that the water could more easily get to the drainage tile, rather than go overland in our yard. We’ll see how it works the next big rain we have. Also, note to self: Remember to put keys in pocket around this thing.