Scary stuff and lesson learned. I guess I'm an idiot, but I would have never expected to encounter crocodiles at the beach just from one sign. I've stayed at the nearby Westin a couple of times recall seeing them all around the nearby golf course, but never thought they would swim around the beach.
It still has to be an exceedingly rare occurrence, but not sure I'll swim in the ocean next time I'm there.