If the double filament light is available, it is somewhere in this catalog.
http://www.gelighting.com/eu/downloads/auto/ge_automotive_lamps_en.pdf
If you find it, pl.s advise this forum.
Good luck
jackD