I am seeing that the max output current of a digital pin on a 4.1 is 4mA. So to drive a typical TH red LED requires a transistor in order to get enough current?