OMG - how tragic. I know that koi can be very valuable, and not only did you suffer a monetary loss, but a sentimental loss as well. I feel so bad for you...... Hopefully the remaining fish will survive.