One of my users has been infected with a virus. All traces of virus have been cleaned with the exception of a file in thier "my doc" folder. The filename is about 500 characters long. I can't rename or delete for obvious reasons. Any suggestions on how to remove?