Glad everything went OK. I signed on today specifically looking for this post! 17. That's not bad.
How big are your koi now?
I know it was much harder for me to catch the baby fish without removing some water, but I didn't want to stress the older fish. The 11, 13, 14 and 15 year old fish have never been netted and removed since being introduced or born in the pond. In fact, they must have known I wasn't going to net them, because they kept getting in the way while I was trying to catch the babies!