I appreciate the quick reply, but I'm not sure about it being that.

Looking at the circuit board of the little numeric display module, the green LED is labeled as LED081 and the red LED is labeled as LED082. I think that the three legged domed face chip to the right of them, labeled as IC081, is the IR receiver chip. I changed one out in a VCR some years back and remembered that it also had that same type of domed face.

Thanks though,
FMW