Agreed. After you live in FL for a while, you assume that ‘gators are present. Fly in from Nebraska to the Magic Kingdom, and it’s the last thing on your mind.
I’ve been to WDW any number of times (including its opening weekend in 1971) and never once considered alligators being on the grounds.