That is the only one on the market that I know of. The Platinum 5R lamp is up there in lumen per watt, but don't think it matches a plasma source. It certainly doesn't have the lamp life or CRI as a plasma. But by my math, 5R beats an LED source. Cost wise, 5R destroys an LED source, even with replacements over time. I did the math out to like 10 years or something like that.
LEDs have too many issues for my blood. I use them for uplighting and wash lighting, that's where it ends. I will stick with arc and plasma for moving head spots.
Here is a good article on plasma's. And its on Treehugger, so you know it must be efficient
.