does anyone have any idea what color RED is used??... i found 3 options, but not sure which one::

super-red = ~633nm
red = ~658nm
hyper-red = ~660nm

thanks..

the reason i ask is the company i work for makes navigation radios... they gave me one after working on the project but radio lights up green.. i took the faceplate apart and can change out the LEDs... any ideas??...