There were some recent reports of a small gator being spotted in the Guadalupe river so looks like those guys found it.
Gators are rare in the river because of human traffic and nobody has seen any large adult gators so someone may have released that one into the river.
There was one about the same size caught in Canyon lake a few years back but was released after photos taken.
A gator doesn't stand a chance in that river because people won't leave them alone.
Just one more cast!