Unser Schlauch am Pool hat einenRiss,austauschen geht nicht ohne dass wir buddeln müssen.Können wir ihn irgendwie reparieren?