Manchmal hat man im Einzelfall die Kunststofflinse einer vorhandenen LED schneller abgeschliffen und neu poliert bevor man eine neue beschafft hat. Es ist aber sicher eine Frage der Stückzahl und der Ersetzbarkeit.
Manfred