I've read numerous times that the LEDs are super high quality and they last about 20 years. Despite they're not available for the little guys I'd be interested exactly what brands and types of LEDs are we dealing with so your word would be justified by the datasheet.