The LEGO EV3 Hardware developer kit says that the fourth pin of input or output port provides a voltage of 5 volts but doesn't give the 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)?