Update: I got BitDefender working after a couple more tries, and after running all night I got the results: no viruses on the machine. That's good news, of course, but it still doesn't bring me any closer to an answer to my question. I'll probably just bite the bullet and reinstall Windows in a...