Sorry for the addendum. I measured the Koi, and
they are 12" and 10" long, not 16" as I
erroneously indicated in the previous post--sorry.

doug