Problem with an existing infinity pool catchment trough. Pool has been operating for 5 years without a problem. One day the catchment trough fills up and overflows. The pumps are turned off and I tried to recreate the symptoms, but all water drained to the deposit with no problem, although it...