Yep, the gator was the first thing that we saw when we stepped out on our balcony last month. We never did see him again.
When we took the BCV model tour, the topic came up. The CM said that they're very territorial and, if they relocated this one, another one would just take it's place.
From what I could see, it looked as if that area is fenced off. It didn't appear that the gator can access any of the areas where it would encounter guests.