Next week I'll have my illuminated pushbuttons, I'll be able to take a look at the lampholders then. If the terminals make a good fit, nice. If not, then I'll have a lot of work soldering the LEDs' legs. Touch wood!
I'm going to power up around 32 LEDs, 3.2-3.4 V 20 mA rated. Most probably through a wall-wart rated for 6 V and 2100 mAh. Good enough for wiring in serial connected pairs, as it will deliver around 6.4 V for 320 mAh (16 pairs at 20 mAh) total estimated load. Or I can plug the wall-wart into the USB hub it was designed for, as it will go into the CP, and take the regulated ~5 V. In that case the LEDs will need a 90 Ohm resistor in series. Less efficient approach but more stable voltage. What would you choose?

Cheers