My husband and I went into an Open House for sale in Pontra Vedra Fla and there was an alligator inside the house. he wasn’t a large gator but he did move quickly.
They can move especially when they are outside your "lanai".
I had to look that silly word up. I guess using "porch" would make them sound too much like a southern cracker.
AND everyone knows you do not mix alligators with verandas. Just not proper
Heck of a marketing technique...