El Patio de Lucas is a restaurant.