Problem mit der Installation von Bosch RDKS | OPEL KARL

Hallo in die Runde, das Auto war seit 2018 nicht mehr zur Klimawartung. Jetzt wollte ich diese durchführen lassen und dabei stellte sich heraus, dass die Anlage nur noch zu 50% funktioniert. Die Werkstatt schlug vor, den Wärmetauscher auszutauschen, da dies in 99% der Fälle die Ursache wäre. Allerdings verwenden sie das Kältemittel R-1234yf, welches nicht jede Werkstatt zur Verfügung hat. Daher muss ich leider wieder dorthin gehen. Eine andere Werkstatt, bei der ich zuerst war, konnte es aufgrund des Kältemittels ebenfalls nicht machen. Sie meinten jedoch, es könnte auch nur eine undichte Dichtung oder Ähnliches sein. Muss das automatisch bedeuten, dass die Anlage undicht ist oder kann es sein, dass das Kältemittel im Laufe der Jahre einfach weniger geworden ist? Ich wäre dankbar für eure Meinung. Gruß Thomas Vielen Dank im Voraus.