How does the HA warm spare failover work on the LAN side? I understand we can configure a virtual ip for the HA MX's, so the ISP routers can configure the virtual ip address for their routes for our internal network. We configure the L3 switches with a default route pointing to the LAN ip address of the primary MX. How would this failover to the standby if no virtual ip address is configured for the LAN side? Do we manually have to change the ip address for the MX's LAN interface?