I realize gators could be in any body of water here. A gator lived in the lake behind my freshman dorm at UF, even.
I guess I just didn't think of gators being on any theme park property - well, wild ones as I mentioned. I guess I naively thought that they might somehow control that due to the risk of danger to the guests/CMs/TMs. Definitely a sad reminder to be vigilant around bodies of water here.