Harvesting the koi fish