A couple of guys have told me that you can use drilling mud to stop pond leaks. This seems a bit far-fetched to me, but it would sure be cheaper than some other methods. Anyone ever tried this?