THat is what I planned, possibly using a coffer dam instead of draining the whole pond. I am waiting til the first of the week to get an estimate on repairs, but I am thinking this is a rather expensive problem to solve.