Mine was completely missing, so I just bought a T10 bulb holder (Durite PN 0-705-12) which is a push fit inside the metal tube behind the dash.
I initially used one of the spare bulbs from my instrument panel (3W I think) which just pushes into the holder, but then replaced it later with an LED which I soldered into the housing with a series resistor.
Pretty much any 'Through Hole' Red LED will do the job so long as it's bright enough for you - I used a Nichia NSPR310S-RP-S-T (RS part number 829-4284), and then selected a resistor to get the brightness right (e.g. 470-Ohms RS part number 739-7430). Check the polarity of the LED obviously and don't exceed the max current.
Half of my wires were missing in action, so I also replaced them back to the original configuration in the manual along with new pressure sensors in the master cylinder (Bosch 0986345000).