Yes... these are the LED ceiling lights referred to in my original post a few days ago. They are from Kaper II in Kelso, WA. When we changed our halogens to these 3 inch diameter LEDs a few years ago, the cost per unit was about $2.50, as I recall, because Kaper had over-ordered and had shelves full of too much inventory. I purchased 75 of them because I needed 57 to replace all the halogens in our coach. I gave the surplus to a Beaver-owner friend in Gresham, OR. The only issue to be aware of is these are 12v and therefore are polarity sensitive. If you connect the wires backwards, then the LED will not light up. I used blade connectors so the wires were easy to swap if I put them on backwards.
The halogens were 10w. These are 1.2w... much less energy taken from the batteries when dry camping... and give more light than did the halogens.