You’ll be better off completely draining the pond and let it dry out then cleaning the muck out and digging the bigger part all at the same time. That’s how we just did ours.