I found a replacement bulb, not exact replacement but close enough to work without any problems

12volt 25ma mini lamp with 1-3/4" hookup leads
Radio Shack part # 272-1141 $1.29 each

five minutes to remove $0.00
One replacement bulb $1.29
little bit of solder and hot glue < $0.50
five minutes to install $0.00

Keeping my dealer from ripping me off PRICELESS

Seems like a poor design to use incadesent lamp in the days of LED

just my 2 cents