Not a sales pitch, but it might be useful to someone. I got impatient waiting for my dealer to handle the missing cover on one of the lights in our new Leprechaun and pulled it down to see if there was a manufacturer/model # on the back. Sure enough there was, and I found them dirt cheap on Amazon. All I needed was the cover, but bought the 3 anyway, as spares. Compared to most RV parts I've seen, these are pretty cheap (and they're nice LED lights if someone wanted to upgrade).
$15 for 3 of them