Green LEDs are fairly inefficient. The types used here (WS2812 type addressable LEDs) are pretty low-powered to begin with. I've built many LED heads and printed loads with them for several years now, color and B&W. It's been ages since I printed with the 500 head and maybe that was slower, still. If you feel it's fast enough, that's good. Maybe it really is faster than the 500, like I said, it's a long time ago.
Btw, 'fast' is relative; I've come to understand that many people will consider either the toe of the paper curve or a mid (ca. 18%) grey as the reference. I never did this; what is meaningful to me, personally, is the time it takes to produce a print with a full tonal scale. If you print at lower grades, this means you're printing through lots more density. Hence, times will be inherently longer to reach the same shadow density as when printing through the shadow areas on a thin negative with a higher grade. So it depends also a bit on what your frame of reference and your printing preferences are. Crucial considerations are all too often kept implicit when we discuss these things. Mind you, I'm not blaming anyone, merely observing.
The worst case scenario is using a roughly 4x5" light source to print through a small format (35mm or smaller) negative onto warmtone paper (like Fomatone). Since this is something I've frequently done, I've kept this into account in building my own LED heads and thus, they tend to be a little (lots) more beefy than e.g. the Intrepid or Heiland systems, especially in the green channel. But it's a tradeoff between color and B&W; a good color LED head poses a few different requirements than B&W does and the optimization is also different. The Intrepid system works well enough for B&W, but is not very suitable for color work; it's evidenced in e.g. the Naked Photographer review of the system, which highlights the problem (but doesn't succeed in understanding the main cause).