Just FYI, I've recently replaced all the bayonet-base 2-amp bulbs in our pop-up with LED bulbs. They're 12v, of course, put out about 2.8 watts of light, compared with the 1.5 to 3w in the bulbs I replaced, depending on the size, and they only draw less than a quarter-amp each, while each of the old incandescents draw 3 to 4 times that. The color of the light is the same, maybe a bit "cooler", and they put our zero heat because they're LEDs. They're made in China, of course, and they run about $30 for 10 of them, but I figured that was a minimal investment in exchange for extended battery life when we're off shore power. So, if you don't mind contributing to the trade imbalance, here's a link to where I found them on eBay:
12v LED Bulbs
Michael, Suzy & Arnie Asada (Chihuahua)
'97 Viking Legend 2480
'19 RAM 1500 Laramie 5.7L Hemi