Royal Palms beach area rocky?

[WonderMan3]

Has anyone been to Royal Palms within the past month? I saw a review on Trip Advisor from mid-October that said the beach was very rocky and full of coral and a big chunk of sand was gone due to effects from Hurricane Michael. Can anyone else confirm this?

 

Looking for a beach day on Seven Mile Beach. Sandy beach area for swimming is a priority and would like something with chairs and umbrella and restroom facilities available. Are Royal Palms and Calico Jack's the only options on the entire beach?

[bookbabe]

DH was there at the end of October, and he said it was the same great beach as always, no changes.