I'm not even sure if they remember the changed names. Granted, I'm in CA so we never even think about the gulf, let alone it coming up in conversation with a person I despise.