Update for those who like to keep track of prices: no buyers at $10,000. But having them sit there for sale for a while made me get used to the idea of letting them go. I ended up offering the set to someone for $8000 and they accepted. They are now sold. RIP my THC adventures, I'm officially out of the game of owning premium Paulsons. Feels better than I thought actually