So the Arduino DOES put out more than 40mA? (AWOL made me think otherwise
It will put out more than 40 mA. But you SHOULDN'T do it. The longer you keep that LED lit, the more damage you are doing to the Arduino pin. Eventually, that pin WILL stop working or even the whole Arduino. It could last for an hour or a few days.
What you should be doing: