Hello, We’ve had a pool for about 5 years now. Lots of problems, LOL. It’s an in-ground, indoor, salt water pool. We sprung a leak at the deep end ladder. The leak has been patched but we are unsure if we should reinstall the ladder. How well do the patches hold up? HELP! LOL. I’m stuck with 2 out of school children and no pool (no steps to get in or out)