It won’t matter. Every body of fresh water in FL has snakes and gators. They crawl and get everywhere. I have a lake behind me and a lake across the street. Once had a gator come knocking on my glass door in the middle of the night! Insane. The gator catcher was a 5’6” blond lady who was tough as nails and caught the thing while multiple deputies stood by in amazement. It was truly a sight to behold. Anyways, the water system at WDW is all carefully connected.
ETA: the gator was easily between 5’-6’, not the biggest but still large!