Do you think that 6" (more or less) of muck over 40 years is a significant accumulation to necessitate draining the pond?