Hombre, amigo Kyle, que sepas que mucha fauna variada aguanta formateos y tal, no es formatear y listo. Yo te recomiendo el antivirus más fiable que conozco (Nod32 de Eset) junto con el Kapersky. En sus webs puedes hacer análisis on-line.