Telling everyone else what he did will be revenge enough. Nobody likes a snitch, everyone will start watching what they say when he's around. That'll give him the message OK :^) Though you need to be sure to be sure that it was him wot done it! Maybe they do sneaky security searches on all pcs, searcing for porn etc.?