DARF IR foi paga erroneamente com valor muito maior - como restituir

Boa tarde!
Um cliente pagou por aplicativo R$ 850,75 em uma DARF IR que o valor era de 85,75.
Devo pedir a restituição desse valor pelo ECAC - PER/DCOMP e escolher a opção Pedido de Restituição, correto?
Ele pagou esse valor maior ontem e estou tentando fazer a restituição hoje mas não aparece no portal ECAC. Será que ele deve pagar o valor correto da DARF antes de eu pedir a restituição? Alguma sugestão? 
Muito obrigado!

Boa tarde !

Bom dia!

Seu cliente é PF ou PJ? Se for PJ, sugiro fazer Perd-Comp de compensação de valores visto que o processo de restituição sempre é mais demorado.
Att,