They are a double filament bulb so it sounds like the normal running light filament isn't working, once the original tool kit is out of the way they are pretty easy to change.
I buy a box of 10 stop and tail bulbs £2 from a local battery suppliers.
I buy a box of 10 stop and tail bulbs £2 from a local battery suppliers.