I don't mind the idea of a $10k PIN but it would have to be worth it. Don't stick an extra toy on a $7k base model and raise the price. WOZ does have a lot of things that make it worth what I paid for it, maybe more. As a buyer I'd like to see prices reasonable for what you get. If I was making PINS and selling every one I could make it would be reasonable to raise prices or just make more of them.
On a side note, I kind of wish Hobbit was produced immediately after WOZ. I realize JJP needs to seize the 75th anniversary while it's still here but given you can only produce so many pins a day this will push back Hobbit production unless output is increased.