Great idea! The pipe broke again seconds after I repaired it.
Thanks, we've already looked into this issue and fixed it because of your comment :)