still dangerous size for koi or other fish
Still dangerous to anything under 10”. Of course. But all my koi were almost as big as the catfish. The grass carp were disposable. Super easily replaced. Even those were almost a foot. Nothing in there would’ve been eaten by the catfish.