I have a couple of puck lights, they use 10 watt landscapign lamps (12 volt) which you can get anywhere,,, Or you can buy very expensive lamps that are identical at the RV store.
I found a line of LED's ECO-LED at one RV dealer, about 18 bucks a pop... And sure enough they have one that fits perfectly in the space provided
This is a round disc, with wires that come up and then go parallel to the disc and stick out a bit past the edge,, These are the "Pins" on the lamp. the ECO-LED is not polarity senistive at least the ones I have are not.
The same lamp comes with a base adapter for a 1141/1156 socket by the way.
One difference between these and the 10 watt lamps though.. They are about "20 watts equivalent" so they are much brighter... Oh, and another difference.. I do not think I'll live long enough to replace 'em.. I mean, another 40 years and I will be a few years past 100 after all.