It’s that time of year: fall, football, and the Annual National Shrimp Festival in Gulf Shores, now celebrating its 52nd year ...