I searched eBay for them and didn't find them in current or pervious auctions.MM3Canuck said:Looks good! Nice find!
I almost think that I saw those on ebay, they might have been Philips as well.
$26 dollars is not too bad, the same for LED (incl. resistors)