I am sure digging is best. I was just going for easier, but still worked.

If you get them 100%, does that give you a longer window before they re-establish in your pond?