So after my grass was laid today they were messing with the electrical for the pond. DH had taken out the basket to the skimmer and laid it on the side (I don't know why). I happened to go out just as they were turning the pump back on, I looked over and one of the koi had got sucked into the skimmer hole! His whole nose was stuck in it, I immediately tried to pull him out, but he was too slippery, DH ran and turned off the pump and I was then able to pull him out. His whole nose is pink now. He's swimming fine and doesn't really act like he's hurt. Do you think he'll be okay?