I'm assuming he doesn't have it installed - and he can't get it installed due to some virus.
My advice is to run some online scanner - search on google for either "Housecall", "Panda Online Scan", "Norton online scan" or if you know some others use them. Hope this helps!