The grocery store across the street from the Dolphin had an excellent hot deli. Got takeout most days. That seaside dining is expensive.