The security community always seems like every year we want to one up ourselves. Most antivirus products are looking at the hash of the file and they're saying, hey, this is bad. If there's never been evidence that that malware actually downloads and installs a rootkit or some other low level tool, then I think a full kind of hard drive format will do the trick for you. But in some cases, that's not going to be enough.