Several years ago, my grandfather put some koi in his swimming pool. There are now approximately 100 koi there, maybe more, and while I'd like to turn the pool back into a pool, I'd also like to see the koi safely moved to a new home. But I'm not sure what to do with them. I don't know anything about them, so I don't want to have to remove them myself and risk injuring them. Does anyone have any suggestions?

Thanks in advance!