Yes.. LED light output does degrade over time. Its well known in the sign trade where LED has become the dominant light source for backlit signs. If you have them on say 8hrs a day then expect them to drop back in under 3 months.
Please note that the wording on life expectancy of any LED has been changed from 50,000hrs to UP TO 50,000hrs.. this is the best case scenario and dependent on the style of LED.
Also, an LED warranty isn't quite what you would expect from any other product. LED is only considered faulty by the manufacturer if it is working UNDER 60% of its lumen output, so your cheap LED stick down strip can have 35% of the LEDs drop out and it is still considered a fully working product and it may well sit like that for 10,000...20,000hrs etc... looks like crap but still good according to the manufacturers.
If you believed you bought a source of light that will never need replacing then you have to ask yourself why a Chinese manufacturer would sell you something that will ultimately put them out of business.
50,000 hrs is laboratory conditions.. the only light source to consistently prove OVER 50,000hrs in the field is neon and cold cathode which have also been given the "Green tick" by UL as the greenest form of lighting due to its low power consumption, high lumen output and its ability to be recycled.
OK.. so you are not going to put neon lamps in a pinball but you do need to look beyond the hype of LED and deal with the facts.