I can’t say for sure but I don’t think they do. I think they have a spillway that if it reaches a certain level it will spill over but other than that they have 1 pump station that I know they pump water out of the lake into Yegua Creek at. Both are located in the southeast corner of the lake toward Overlook park.
Sent from my iPhone using Tapatalk