Bei dem bisschen was da raus schwitzt würde ich mir noch keine Gedanken machen, erst wenn es richtig raus läuft und die typischen Anzeichen einer defekten Kopfdichtung auftreten, würde ich sie erneuern.
Ist dann an sich auch keine schwierige Sache, wenn man gewissenhaft mit richtigem Werkzeug dran geht