I had a bunch of these left over from military panels that I have been hoarding for over a decade. However, most of them don’t have lamps in them.
Looking at the datasheet I was able to find the replacement 12 AC/DC/50 mA part number is 10-1109.1279 (01-913.12). However, you can’t find that part number anywhere except in reference to the switch datasheet.
I worked with DigiKey technical support this morning and we think the SM1250S will do the trick. I ordered 100 of them and they had them in stock. I will post a follow-up comment and find out whether they actually fit or not. I previously bought the SM1250G but they were too big!