Thanks for the suggestion, and I agree the LED_Blinky project ought to be the LPC55S16-EVK "as delivered" firmware. The "as delivered" firmware, however, configures three board buttons to display different LED colors. A static reading of the LED_Blinky project seems to show it only configures a single button for LED control so that doesn't appear to be the "as delivered" firmware.
I would like, after I'm done with the board, to return it to original condition for the benefit of the next user, so finding the original firmware would be desirable but of course not essential.
The other option, which I've done often with IDEs I'm more familiar with, is to do a brain dump of flash, save it, and restore it later. I recall some mention of attaching to a running application without flashing. That ought to do the trick (assuming the flash isn't protected). I think there was mention of this in an instructional video, although I'm vague on which one. Is this technique documented somewhere (sorry, I haven't looked yet - poor strategy - but I will as soon as I'm done here).
Thanks!
doug