Not the koi but there are some catfish in there that are! We have some bigger than 12lbs in there.
That must keep the Koi on their toes, so to speak
Lol, exactly! They keep the population down by eating the young and they keep the pond clean by eating the dead.