I live in Houston, the pond I was speaking of is in Brazoria County south of Houston.
What is the gator population of that part of the country? I was surprised to learn there were gators as far west as Waco and as north as Dallas.