CEI INSS Obra

Olá, boa tarde!
Trabalho em uma construtora e hoje fui abordado na seguinte situação inédita pra mim e solicito auxilo a vocês.

Um cliente (CNPJ) quer registrar o imóvel dele após a construção concluída, mas para isso precisa recolher o INSS para tirar o habite-se, só que ele abriu a CEI na época do início da construção e com isso gerou algum tipo de crédito/benefício que ele pode estar recuperando das Prestações de Serviços e Compra de cimento, aço e outro materiais aplicados diretamente na obra.

A obra se refere a uma industria de embalagens, faz sacos de pães, de lanches, embalagens para salgados, dentre outros.

Sei que existe um passo a passo para poder usufruir desse benefício que está no INSS, eu não tenho ideia por onde iniciar a juntar esses documentos para montar o processo para ir a Receita Federal, solicitar a DISO o ARO.

Por gentileza, poderiam me orientar sobre?

Desde já agradeço a atenção dada.