The koi that we have are huge. Some of them the length of my forearm, if not, a few inches larger.
We thought of digging up our own outdoor pond but these fish have always lived indoors all their life. I don't know if they can survive in the cold weather. Not only that, there are a lot of racoons and coyotes in our area which pose a threat to their safety whether there is something covering them up top or not.
And no, selling them is not an option. My father would sell me off first before selling his fish.