No trip to the Gulf is complete without a mess of coastal shrimp. Seaside, gratifyingly, isn’t the same animal in autumn with most tourists flown from the coop.