[TexasGator]

Although often referred to as the emergency spillway it is officially called the auxiliary spillway.

[Flick Lives]

Although often referred to as the emergency spillway it is officially called the auxiliary spillway.

---

Some call it an undocumented spillway or dreamer spillway.