With the design you've got, and having stacked switches it sounds like you have fairly well covered redundancy. Keep in mind that for routed HA for your MX's, they'll need multiple IP's in the same subnet for the WAN connections. ... View more