Little off topic...
Now it seems for a ES vs RUT spread, margin is the total of ES margin + RUT margin.
When both were at CME, margin for the spread was significantly lower as they used SPAN.
So "SPAN" only applies if both legs are within the same exchange? This really sucks for ES/RUT...