Restaurant called The Dolphin.