Was this a Mistake? But Fun! DIY Pond Dredging.....are the results worth it for an $800 rental fee?