I am sure i have at-least 3 or 4 or those that are good.

in Mi, usa. but sounds more like you are having fun repairing the old one… witch i think is pretty cool.

another crude way maybe is to drill it out? slide the new IR led in there…

and black epoxy it in?