Die zwei Kupferdichtringe der Anschlussleitungen würde ich in jedem Fall neumachen. Wenn du schon dabei bist, kannst du das Servoöl gleich mitmachen. Kostet nicht die Welt, und nach 15-20 Jahren kann man das ruhig wechseln. Auch wenn es von VW als Öl auf Lebenszeit verkauft wird. Und wenn dein Keilriemen auch schon älter ist, spendier im gleich noch einen neuen Riemen für 10€, dann hast du Ruhe.