the OEM lights are usually 11w
but by the time the RV passes to a second owner
they have all been replaced with bulbs from the automotive store
which are a much greater value 15w 18w 22w and much hotter
yes i melted or otherwise damaged a few covers in previous rvs before i figured that out
LED conversion can be a good idea, many here have done it, and there are several ways to go about doing it
flat pac borads, corn on the cob replacements, DIY strips, or buying new ready made led fixtures
ebay, amazon, rv dealers