Bonjour,
j'ai récemment restauré un JV-30, j'ai changé les 56 boutons qui étaient HS pour la plupart.
Je n'ai pas eu à changer de LED, les dysfonctionnements de LED étaient dus aux contacts HS.
Je n'ai pas les caractéristiques des LEDs (rien sur le service manual), mais j'ai pris une photo, si ça peut t'aider.
Bonne réparation !