Those look like generic 44 or 47 style LED replacements. There are a ton of those for sale on Amazon. The trick to those is finding the right color 4K-6K and how much diffusion they have. Some of them are just a spotlight and look bad behind the glass and others are diffused well and just look like a nice incadecent bulb. I have a few pinball machines that I replace the bulbs with LEDS and did a bunch of trial and error before I found the right bulbs. If they went out best bet is to replace them all so at least they look the same. Go with frosted difused bulbs, I think they work the best. If it is behind a specific color you may think about a colored bulb so it is not a spotlight. They come in a variety of colors and sometimes white is not the best choice.