You say your router is configured for redundancy with 2 WAN links, are these equal cost default routes, routes with different costs or a primary and standby type configuration?
If the links appear as equal cost paths then your IPSec traffic may be arriving out of order, which will give performance problems, that's one thought I had on reading this post. Or even arriving with differnet source addresses due to the NAT on the external router.
If you break one WAN link does your IPSec performance improve?
In a situation like this I'd prefer to use public addresses on the PIX to router link, remove the NAT from the external router and use routing (policy routing to push the IPSec down one link to prevent packet re-ordering problems.