O Pinheiro is a restaurant.