Interesting. I didn't know that red/green color blindness could be partial. In the case I cited, the person was completely unable to distinguish red/green LEDs

Interesting. I didn't know that red/green color blindness could be partial. In the case I cited, the person was completely unable to distinguish red/green LEDs so I assumed his condition was complete, but perhaps it was just the specific wavelengths involved that were troublesome for him.