yeah the solutions to problems such as these exist for the industry, thats why i said its nothing to worry about! leaks are likely a very common occurrence (hell they are in water mains)
i was just saying that it might take a couple of days to repair when you take into account procuring the products and then accessing exactly where the leak is