I feel slightly compelled to visit the Gulf of Mexico and ask the people who live in the Gulf of Mexico what they think of the Gulf of Mexico. Pensacola has a nice beach I wonder if the people of Pensacola Bay would be offended if I grouped their region in with the Gulf of Mexico.