Those are off-the-shelf opto-interrupter modules. if the LED is molded, you can buy just a replacement 4 pin module on digikey or even ebay. cheap.

Reason i know the LEDs go bad, the front-load whirlpool washers have a locking actuator that fails. VERY often. and its the LED that fails in the opto-interruptor.