Hello all. This is my first post. I'm considering getting some koi for my 70 foot by 40 foot pond. It is well aerated and 8 feet deep in the middle. I have about 7 frogs in the pond. The body size, including the head of the frogs is about 4-5 inches. Do you think they will eat my koi or the koi babies? Thanks