Tubo acqua quasi forato!!!

Salve, per mettere uno stop al muro, ho "pizzicato" un tubo dell'acqua di plastica blu (me ne sono accorto perché è uscito un ricciolo blu). Allora ho tolto la mattonella e ho visto che il tubo è inciso per circa 3 mm, ma non perde. Un idraulico mi ha detto che non ci sono problemi perché lo spessore del tubo è di 5 mm, tuttavia mi chiedo se esistono dei prodotti per riparare il danno fatto (ad esempio plastica liquida che poi solidifica...). Che mi consigliate? Grazie.