Actually we do have Sophos. But since we did see some results from the virus (for example, Office apps not opening), I guess we did have the virus...
Unless it was Sophos itself that was causing the problem...
We've been using Sophos for almost a year now, I think, and so far I haven't...