bookmarking as intrigued by the question
how do you know that the engineer did NOT use an external source to check for viruses?
of interest, Norton is considered by many to be a resourse hogger
there are sites to use for on line scanners if you would like that?
do you think you might be infected?