I did the same patent search and got the manufacturer name, but I have not been able to find them retail. I am pretty sure that I will replace it with another LED the same size, I just hope it matches the others enough that I don't have to replace them all. Thanks for the help though!