- Gulf Shores, AL Website
- Population: 12,517 | +6% from 2017
Gulf Shores, AL Elected Officials
- Mayor:
Robert Craft - City Council District 1: Joe Garris
- City Council District 2: Gary Sinak
- City Council District 3: Philip Harris
- City Council District 4: Jason Dyken
- City Council District 5: Steve Jones
Robert Craft
Joe Garris