The LEGO EV3 Hardware developer kit says that the fourth pin of the input or output port provides a voltage of 5 volts but doesn't give the maximum current that can be drawn from the pin.
What is the max current that can be drained from the VCC pin (pin 4 at 5V)?