What OS is he using?
What exact version of Avast?
What are the settings in Avast’s mail providers?
What are the settings under the mailscanner section in the avast4.ini?