Ah cool. I'll probably do that when I'm next at work... though deleting all the shortcuts is probably enough for them (which I did so far)
I threw up the firefox addon too... seems to be quite handy and something that is going to save me some trouble... Removing viruses while doing my job at the same time is a pain.