that's all well and good, but if he has a trojan it wont really solve the problem or stop him from spreading it. For example, with vbs_moon.k, it creates registry entries that allow it to execute automatically upon Windows startup. Trojan.IrcBounce includes a copy of mIRC that hides as Taskmngr.exe (not to be confused with TASKMNG.EXE or TASKMAN.EXE) actually being mIRC32.exe version 5.7.
Taking the time to do a good virus scan is well worth it considering the risk.