The one in Lot 563 is just a normal K on a Wilson tube, and they estimated it at $8500-13,000. Seemingly has at least some Swedish parts. A Wilson tube, by itself, sold on Sturm a year or two ago that was priced at $27k IIRC, though no idea what price was actually agreed to. Saw another K priced at $24k go in minutes a year or so ago, and a Pearl K priced at $26k go in a day or so a year or so back. Nicer ones (Andrewskis) been selling for over $30k in recent history.
It does have a threaded barrel and sort of weird thread protector, and one of the grips is somewhat messed up. I still would have expected it to go for more. It would not surprise me to see those guns freshly painted and worked over by John to pop back up on the market at $30k.
Edit to add: the actual Swedish K was estimated lower than the Stemple 76/45 above it