Thanks to Billieg's message, I ordered some of those bulbs. Liked them okay, although not quite as bright as I'd like, so ordered some more. Fortunately, the vendor didn't have quite enough so substituted some 18 LEDs for four of the ones I ordered. Those are much brighter, so I returned most of the 13 LEDs and traded out for the 18s.
Okay, so $37 for 6 bulbs isn't cheap, but they have a nice white light and are cool enough that you can touch them when they are on and they don't melt the plastic covers. Shipping is included and the vendor is quick. I've gotten my bulbs in three or four days each time I've ordered. (no relation to vendor, but vendor was very responsive over a weekend both working with me to return and then the next weekend for me to send additional payment and then ship bulbs)
6X 1156 BA15S RV TRAILER 12V LED LIGHT BULB 18 SMD 5050
Other vendors sell the same bulbs and in smaller quantities if you want to try them. Might be able to find a better price.
We're replacing every bulb in our FW (with the possible exception of the frosted vanity bulbs) with LEDs since we will never been on shore power once the FW is moved to its home in the forest. I like the less yellow color and the cooler temps.