Depending on the size of the gator, it may not be that bad as they (gators) tend to go away from humans (being ambush predators). Admittedly, I am not a complete expert on gators. So, if parents were with the children, the gator would leave them alone. Plus, since gators prefer ambushing, he was probably just on a stroll between waterways or getting some sunshine. In actuality, we should have taped a camera to his head and set him free inside the contruction areas to get some great footage of the areas under development. This could be a new first for WDWMagic.
As was posted by Raven, it's Florida and gators should be expected (especially on former swampland with water areas still in profusion). I'd be more worried about rattlesnakes or cottonmouths.
Besides, he probably wanted a Dole Whip. I mean, who doesn't want a Dole Whip?
