Alguém sabe informar se os micro-dados do IBGE já estão disponíveis para venda?

Obrigado
--