My brother-in-law's pilot bulb blew so he decided to replace it with an LED bulb. Looking on eBay, there was a good deal for two so we are both now using the LEDs
A straight replacement - same fitting.
The lights are now a clear bright white (much brighter than the photo shows!) rather than a half-hearted yellow/orange