It looks like they are possibly called T1 Bipin Base and also T1-3/4 Bipin Base based on the size of the base
You might be able to find it and a lot of old arcade and other bulbs if you know the number or voltage
at eiko.com this is a link to their mini bulbs...