Just to follow up on this, there was another way to tell they maybe shut the pumps off for a few hours after the quake (and I linked it in the same comment). The downstream gauge: https://water.weather.gov/ahps2/hydrograph.php?wfo=phi&gage=...