I’m going to be taking my koi out for the winter like I always do in a couple weeks. They go in a pool in my basement. Now I have a lot of trees. I have tried ways to avoid the clean up in the spring of all the leaves in the water but nothing has worked! I do have a pond net but I use it for them in the basement and it doesn’t fit the pond, and I tried to put a tarp on the pond but in the spring I couldn’t move it cause the leaves were so heavy from being wet. Does anyone have any suggestions besides buying a bigger net? They’re starting to fall!