Please disregard my posting from last night. While I did lose 5 koi, I believe it was outside of the owners control. While it would have been best if he has come last evening, it likely would not have changed the outcome.
The owner, a recognized expert, came out this morning and is dealing with it..
Perhaps having someone assess the fish before major pond service would be a good idea even if it would cost a bit more.
Thanks
more