The previous version used the MK22FN1M0AVLH12, and before that the MCF51JM128. It's been a while since I looked at the datasheets but I'd swear they gave values for pin source/sink currents for both standard and high drive, or at least a graph.
The reference manual for the LPC55SS69 has a couple of references to standard drive strength. There's not a high drive mode for the device though, is there?
At this point I mostly want to make sure I'm not causing damage to the IO pin driver. If it's not prone to damage even in a short circuit then I'll just do some real world testing and see if I get the brightness I need out of the IR LED or if I need to add an external driver.
Scott