You can get LEDs in many wavelengths. Around 500nm is "cyan", 505nm is described as "Verde" or "mint green", 510nm is called "blue green" by LED manufacturers.

You can get LEDs in many wavelengths. Around 500nm is "cyan", 505nm is described as "Verde" or "mint green", 510nm is called "blue green" by LED manufacturers. And those are just single-wavelength examples. You could add a yellow led, say, to move the colour off the locus of pure-wavelength colours. I'd be pretty surprised if those lights aren't already LEDs.