No. No es el pantano del Chorro.
Veamos. En la zona hay cuatro pantanos. En la parte baja, el del Chorro. Y en la parte alta, los del Guadalteba, el del Conde del Guadalhorce. ¿Y? En este desembocan las aguas de los pantanos anteriores y este desagua en el desfiladero de los Gaitanes.
El nombre de ese pequeño pantano, tiene relación con Gaitanes.
:O* :O* :O* beer beer beer