Für 250User würde ich persönlich auf jeden Fall vor dem Dominoserver scannen. Hier ist ja schon einiges an Mailvorkommen zu erwarten und da kannst Du unter umständen schon vieles rausfiltern und auch Mailbomben etc vor dem Dominoserver rausfiltern. Am besten noch kombiniert mit einem guten SPAM-Filter...
Mit Virenscannern habe ich die besten Erfahrungen mit TrendMicro und F-Secure gemacht - wobei ich insbesondere F-Secure für einen ziemlichen Geheimtip halte. Die Reaktionszeit bei denen ist fast immer excellent und der Service über die Partner auch...
Gruss
Martin