A few questions for those in gator country:
1) What is the geographic span for gators? Is it the entire Gulf Coast region?
2) If you are in gator country, do you ever swim in your pond?
I like the "natural" aspects of a pond, and my pond reflects that.
However, I don't have anything in my pond that can kill me very quickly, at least not without a sporting chance at survival.