Stateful packet filtering requires that BOTH inbound and outbound packets transverse the same PIX. You can use two PIXs in failover mode to eliminate a single point of failure but youll have to do any and all load balancing on the outside of the PIX.