Den Tank würde ich nicht tauschen, einfach in den kommenden Monaten regelmäßig mal kontrollieren ob er dicht beleibt.

Da scheiden sich wohl die Geister. Du sagst, erstmal gucken, Dirk sagt tauschen. Wie dickwandig ist der Tank denn? Gibt es nicht so Kunststoffprofis, die die Stelle versiegeln können? Wie aufwendig ist es, den Tank auszubauen?