Sorry you had to lose those fish -- but thanks for the excellent reference pix.
As for discussing hikui, we had a good one re: the causes (unknown) and cures (none) just last Apr/May:
http://www.koi-bito.com/forum/general-koi-forum/6168-koi-skin-problems.html