Casa do Paço is a restaurant.