The federal government renamed the Gulf, but local signs, maps and Marco Island's own website still show the old name.

Patriots Diner, with its gleaming chrome exterior and classic neon sign, is a beacon of comfort food and good old-fashioned ...