Hi all I live in RI I have had a pond for almost 20 years. About 9x10x4deep. I am currently refreshing it since all my Koi died a couple years ago and now that I am 20 years older looking to make maintenance easier for myself. So looking for advice recommendations on the newer technologies in ponding.