Hello I am new the site and have learned a lot so far, the question that I have is besides koi what kind of fish can I put in my pond? I also have a common pleco and red ear sliders in the pond, and it is about 3,000 gallons. I was reading different threads about catfish but I do not know enough about them, any other suggestions I am all ears.