Ok, I’ll take your word for it. For me, this was the first time I picked up a virus in about 12 years. If the infected files are still there, they’re not doing anything. There is no sign of any problem now. If it becomes a phoenix and rises from the ashes, that’s when I’ll follow your procedures. But as long as nothing is going wrong on my computer now, what difference does it really make if the files are still there or not?