Hallo,
es sollte sich um eine 2mm handeln. Die gibt es zum Beispiel bei Conrad. Ich habe meine grüne durch eine 3mm blau ersetzt.
Ich mußte zwar die LED ein bischen feilen war aber kein Problem ;D
genau so habe ich es auch gemacht, allerdings aus rein optischen Gründen