Lan---->Pix------>ROuter---ISPA
|
|
ISP B
The default route on FW would be pointing to Router....why do you need redundancy on FW if your Router is doing load balancing (both ISP terminating of Router)
Whether your ISP A fails or ISP B fails FW woudl still be pointing the traffic to router.. so your ROuter has to do the ISP falback mechanism