You did the right thing , we stay at Ocean Lakes often and know how they operate. After 40 years of dealing with storms they are on top of things. They have over 300 employees and are always very helpful.
As I mentioned earlier IF the storm was coming off the ocean AND IF the Beach was calling for an evacuation I would be more concerned. But up the coast not so much. You would have been in greater danger on the roads trying to get out.
Your last picture is typical after a heavy T storm but the middle one was more concerning as we stay at those sites often.
Our camper is currently in one of their storage lots.
Today should be beautiful down there wish we were there.