Es bueno detectar los problemas temprano, para comenzar a repararlos.
Tienes razón de que una pequeña filtración puede ser el inicio de problemas mayores, así que te deseo que lo puedan reparar muy pronto.