Kühlerschläuche (komplett) wechseln?

Servus mal wieder.

Unsere Wanderdüne hatte seit paar Wochen immer wieder Kühlmittelverlust. Nicht viel, so ein Glas pro Woche.

Anfänglich erfolglos gesucht, aber jetzt doch ein mini-Löchelchen in einem der Schläuche zum Ausgleichsbehälter festgestellt (Diagnose relativ leicht bei Kälte draussen und heißem Kühlerwasser das austritt - hätt ich auch gleich drauf kommen können :idee:)

Jetzt die Frage an die Profis - was haltet ihr für wahrscheinlicher:
a) Mini-Loch läßt auf Marder schließen, also nur das betroffene Schlauchstück auswechseln. Kann ja jederzeit wieder zuschlagen (-beißen) ...

oder

b) Angesichts Bj.2001 wahrscheinlich porös geworden, also lieber gleich ein paar Schläuche mehr auswechseln (Set?) sonst kommt das wieder ...

Dankbar um jeden Input