Según el manual de servicio esas son las lámparas, no encuentro mas información. Por lo que vi en internet parecen tener la forma de las que se usan comúnmente en los automotores (coloquialmente llamadas, acá en Argentina, piojitos) pero estas de 7V.