Leaking water main was fixed by the Tuesday following this report, which I'd submitted the previous Thursday. Hole dug by workers to repair the main was refilled with stones, then soil, and reseeded. Following heavy rains, though, a small new hole (about the size of soccer ball) has opened up in the area that was refilled.