You will probably be replacing the lamp as a discrete component. I don't have the manual at hand but it's probably a 24V 25mA or so.
You should be able to see it shine in the housing. If not, put a voltmeter across its wires. If you have about 20 volts or so and no light, the lamp is at fault.
Martin