Casa Pinhal is a restaurant.