They are a ba9s type BUT they really need to be small glass bulb type or they can melt the plastic.
Here in UK the only ones that match are Lucas llb643 which are 2.2w 12v ba9s.
I recently bought a few and of course you could have them at cost but postage UK to US would be a killer after i wrapped them in inches of bubblewrap to protect them.
Standard ba9s now have a taller tube type glass which pushes the filament closer to the face
