the staring frogs of Southern Iberia

My son just called from college stating he had picked up a virus called
JS/downloader.agent. AVG keeps popping up telling him a threat has been
detected but won't heal the infection, just move it to the vault. I had him
run a Trend Online scan but he said it just told him he had some cookies. Is
Smitfraud a viable fix or does he need better removal tools? Smitfraud
sounds a little complex possibly for him since I guess from looking quickly
at it, it needs to be run in safe mode. Laptop is an HP with Vista for the
OS. He was home for the weekend and I suspect he might have picked up the
virus here as opposed to school because of their firewall protections.