Hallo Walter!
Von einem voreiligen Ausbau der LED Anzeige kann ich nur warnen.
Ohne ein professionelles Auslötgerät geht meistens noch mehr kaputt-und wenn es dann die Anzeige gar nicht war ist es verschlimmbessert.
Aus einer durchkontaktierten Leiterplatte etwas auszulöten bedarf schon etwas Erfahrung und Übung.
Die Größenangaben beziehen sich auf die Ziffernhöhe.

Vor einer Neubeschaffung müssendie Datenblätter ALT / NEU unbedingt
verglichen werden. Das Pinning kann- muss aber nicht übereinstimmen.
Dann kommt ein besonders kritischer Punkt: der Farbeton und die Helligkeit.
Die Displays werden allg. auf diese vorher selektiert.
Das scheint auf den ersten Blick belanglos- stört Dich aber immer wenn Du draufkuckst.
Ich würde das fragliche Segment, wie schon vorgeschlagen, im eingebauten Zustand prüfen lassen:
Ist es i.O.-Gerät nach Kostenvoranschlag zur Reparatur geben
Ist es n.i.O- jemand suchen der das fehlerhafte Modul gegen eines tauscht was kaum oder nie gebraucht wird.
Wenn sich hier keiner meldet würde ich mit der Platine mal in ein TV Geschäft gehen. Die habe mit Sicherheit ein Multimeter mit Diodentest.
Gerne kannst Du auch jederzeit bei mir vorbeischauen!
LG
Horst