Your upstream providers are running HSRP between them? That is
surprising to me.... If that is indeed true, then all of those devices
including your FortiGate pair are on the same subnet. In this case, you
can definitely just plug directly from your ...