i dont think they got antivirus, but the anti virus might be at the server there and not all the PCs. What they normally install in every PC is the restore software(forgot what software). So everytime restart, the PCs will restore to the original setting..So virus attack also no use..