Ich würde auch tauschen.
Insbesondere , wenn mir die Experten mit Kontakten( ich denke in erster Linie an Michi...) keine Hoffnung auf originalen Ersatz machen würden.
Mir persönlich hilft es in so einer Situation wenn ich weiss, dass ich ohne jeden Aufwand das "Original" wieder einsetzen kann. Und diesmal behälst du ja das alte Glas

Letztlich aber geht's doch darum, ob dir die optische Verbesserung auch so gut gefällt, dass du dein Wissen um des Aftermarket Ersatzteil ertragen kannst.

Ach ja, Weitersuchen kann man dann ja immer noch...