Pensacola was spared any significant damage from Michael, from what I can tell. Not sure about the shore areas. The West side of a hurricane is the side to be on if you have to have one. Praying that the Panama City area and nearby, and South Georgia areas that felt the full hurricane force winds are not too devastated.
From what I’m hearing it was good luck that the worst of the hurricane hit one of the least populated sections of the gulf coast. Devastating but could have been so much worse had it hit one of the much more populated areas just to the west.