Fala-se muito da venda da Vale, mas a questão é: Quanto se gastou com a Vale e quanto ela rendia ao governo? Alguém sabe?