Gulf Pavilion is a casual outdoor restaurant next to the pool shaded by large umbrellas and date palms. Fresh salads, sandwiches, and grilled seafood among others are available.