Casa do Padeiro is a restaurant.