El Patio del Coral is a restaurant offering a pleasant dining experience.