We are currently using PIX 515E with OS 7.0. We have some problems with email traffic and suspect the firewall is doing some funny things, so we decided to upgrade to OS 7.2. We have a redundant firewall with the same model and same configuration wit...