Experience with one, no.
While a great technological advance for its time, not sure I'd go that route due to heat generation. Although, if the goal is to also heat the trailer while getting light, then this makes sense as it will make heat with zero load on the 12v
Personally, I'd consider swapping the guts over to 12v
, install a 1156 socket (or maybe 1157 to allow for multiple levels of brightness) where the core of the gas element was, and use a 2,700 - 3K LED. There is a thread somewhere on this site where somebody did this conversion.