I just received an email from PCC. It looks like Hurricane Dennis passed over Pensacola to the east, so the city (or, at least the campus...) was not affected. Praise the Lord!