Dat lijken me gewone gloeilampjes.

Ik weet niet welk voltage enz. ze hebben, maar dan zou je bij DB kunnen kijken.
Die heeft ongeveer deze liggen voor 6V, 9V.

Of gewoon vervangen met led lampjes. (wel best een weerstand tussen zetten dan)

Heb ik hier ook gedaan in met mijn vaders auto radio.
was wel effe geschrokken dat dat nog gloeilampjes waren.