I have a dead red channel on one of my satellite LED boards for my woz (7.5V). I'm wondering if anyone knows where to buy just the LED. I send in a support ticket and talked to Vic (where I ordered a new board), but he didn't know the part number for just the LED. Given this extra board, I'd like to try my hand with a hot air station to replace the LED.
EDIT: By part number, I mean something other than the JPP part number so I can try to find it on digikey, mouser, etc.