I can't say for sure, but if it was in Miami, then it probably was fine. I'm in Miami, and i've seen worse thunderstorms on a daily basis during the summer down here. The brunt of the storm was just north of Palm Beach. Again, I can't say for sure, but if it was in Miami, i wouldn't worry too much. The mayor spoke not too long ago and said that there wasn't any major damage in Miami.