https://www.marcospecialties.com/pinball-parts/04-1251

We need three #1251 bulbs to replace a few LEDs that are installed.