No lo sé seguro pero creo que son leds verdes normales de 3mm que puedes comprar en cualkier tienda de electronica.
Normalmente trabajan a unos 2,5 v, pero si solo vas a cambiar unos por otros no deberas cambiar nada mas, solo los leds.
Debes tener ciudado con la polaridad, ya que si los pones de revés no iluminan.
Un saludo
Bookmarks