Those are some really nice koi! I really prefer wild-type fish, but I'd really like to have a nice big koi pond someday
The hatchery where I worked sells 4 different categories of koi (and several sizes of each). There are standard, butterfly standard, select, and butterfly select (and the prices increased in that order for similarly sized fish). The butterfly ones are not a Japanese invention (and I'm with the Japanese on that one-not a fan of butterflies) so there aren't really any super high quality butterfly koi. We also got in a couple dozen larger, ver price koi each year for the real collectors that came through. Most were in the $2-75 range, but a few were in the $200-500 range.