Very useful. I am an EE, and have accounts at Digikey, Mouser, Newark, etc., but these "flashlight LEDs" are not stocked by the usual supply houses, so the source of supply, as well as the specific LED spec, is very helpful. Thanks!
Yes, the Workprinter contains a small RS-25-5 5V, 5.0A...