LED Replacement...RD 112

I,m in the process of restore my footswitch and need to know what kind of LED is use in the footswitch. The old plastic cover is in bad shape, but anything would be after being stomped on for 25 years.....
I have replaced the cable with a Radio Shack premade twin coax RCA cable..the cable is a bit heaver but works well..Any help with the LED i could use...a good up grade is ok to..thxs everyone for all the info on my restoring..great site ..(STEVE).