I hope someone will come along who has already solved this, but my fear is that you're going to need to guess, and perhaps do some trial and error experiments.
As you may know, the lamps are fed from unregulated DC power supplies, with 1K resistors in series. The resistors are only 1W parts, so if the designers allowed for a decent margin, the current that the resistors deliver to the lamps must only be 20-odd mA. If you measure the voltage on one of the resistors (either R603 or R604, located on the switch boards), and subtract 20V from the measurement, it will give you an estimate of the voltage rating for the lamps. My guess is you're aiming at something like 24V, 20mA lamps. Such things seem to exist, and here's one in a small form factor from a legit supplier:
https://www.alliedelec.com/product/rs-pro/3607929/70643543/
There's also dgwojo.com, a
great supplier, but I don't know if he'd have something like these. He's very responsive to inquiries.
Speaking of physical form, have you looked at what it's going to take to access the lamps? I hope they're not actually embedded in the switches.
Oh, and if you might want to look into replacing with LEDs, if you can find some to physically fit. In that case you will need to change R603 and R604 to higher resistance so that they only deliver the small current that the LEDs will need, and the resistors might need to have higher power ratings since there will be higher voltage across them.
Whew, sorry to run on. How many words does it take to change a light bulb?