I doubt it, because there are only 490 files or something and Avast picks up 580 (give or take) viruses.

I don't believe he is actualy infected with them...he just unpacked the zip file, that's all.
So he could just delete all the files and then run a full virus scan. Edit: But it does sound like he ran them since he said that his computer was having problems.