not sure but isnt that the same area that the guy died of a shark attack a year or two ago? just jumped off the dock to go for a swim and the shark was just feeding on mullet in the area..Ya more likely to hit the lotto than that to happen. Hope she is going to be ok.