I have a 3500 gallon pond with 1 very large albino catfish and 2 medium size Koi, which all were raised in the pond together. I have 2 new 4" Koi in quarantine which I want to add to my pond but was concerned if the catfish will eat them ... any thoughts