Thanks for the info on an LED replacement. I just completed mine and it works great. It is really a pleasure to be able to read the display easily. I connected to the original pins so the ON and OFF commands still work.
Some additional information for those who choose to do this on their 8642, and who don't have access to the full service manual.
a) The five screws which need to be removed to hinge open the panel are in holes 1 and 13 on the top, and 3, 8 and 12 on the bottom, both top and bottom counted from the right.
b) There is really very little clearance for the bulb/LED. As stated careful sanding is required, and you must get quite close to the header inside. It would be worthwhile to start from a 3mm size instead of the 5 mm size that the original author used, and that I used. I have found one LED in my junk pile that actually fits as manufactured, but haven't located a source to get more.
c) The end caps can be trimmed internally to buy that last fractions of a mm needed to fit the LEDs
d) Lamp common (on the side of the board which has the cut-outs to clear the MSSG and Local switch) is the positive side at zero volts. Lamp1 and Lamp2, the other end is at -5V. This tidbit will save you once through the replacement process if you assume, like I did, that the common is the low side.