Maximum total current on EVCC (red, male, digital) pins?

The Vcc male pins on the digital side are labeled EVCC in the schematic. They are driven by default by the system +5V, but they can be driven by the servo power inputs.

I'm interested in plugging servos into the digital male 3-pin sets, but I want to know what is the maximum current EVCC can draw? (total for all pins, presumably, since EVCC is wired in parallel to all the red pins)

(Right now I only have 1 servo, which has 130mA typical draw, and ~500mA stall current. I presume that is probably OK based on the Arduino Uno docs, but I'm not enough of a hardware person to figure out the max current draw from the schematic. In particular, I want to know some limit to avoid damage to the power supply hardware, if such a limit exists.)

Thanks,
Mark