Is there a direct drop in replacement, or second choice, an easy mod to replace the 7.2v Xenon bulb, as below, with a LED ?
Using either 3v / 3.6v RCR123's, giving volts of 3.6 & 4.2 ish after charging.
Bulb very small, approx 5mm across
This type of bulb>>>
This type of torch>>