Ist mit speziellen Licht sofort zu sehen. Da verstehe ich die Werkstatt aber auch nicht.
Aber erst dann, wenn dem Kältemittel ein Zusatz beigemischt wird, macht man normalerweise bei der Lecksuche nach dem Wiederbefüllen.
Eine leere Klimaanlage ist doch am einfachsten durch OBD-Diagnose zu identifizieren: liefert der Drucksensor Null, dann ist die Klima eindeutig leer (Sensorfunktion gegeben, so die Annahme).