P'Cola Beach after Dennis?

Since Pensacola Beach took more of a direct hit from Dennis, has anyone heard how badly they were hit, if their beaches are open? Erosion? I know they don't have the same type of sand dunes or bluffs like So. Walton.