Small update. One more small uncaught/untreated koi died a few days ago (those where fish I bought for 3 euro that where raised in a natural pond, and that I strongly suspect suffered from KSD, koi sleepy disease virus infection).
The others seem mostly okay now, even the untreated ones, though some of those are still sleeping now and then.
I put the ones that I caught and have been in a hot salt bath for a week, back in to the main pond a few days ago, as they seemed completely okay again - and they still do. They dont sleep, dont clamp fins, dont float. I didnt want to keep them in the 20 gallon tub any longer, as I simply couldnt get ammonia and nitrite levels down to comfortable levels despite daily or bidaily water changes and added zeolite.
lessons learned:
1) I need a quarantine tank with a filter. If I cant keep 4 or 5 tiny fish in there, Id hate to think what would happen to a big koi.
2) KSD is real, and (apparently) easily treatable. If ever you buy or import young koi that where raised in a pond with earth bottom, give them 0.5% salt bath for 3 or 4 weeks before putting them in your pond. Either that, or risk losing 3/4th of them.