Well, we tried to figure out the range for NIB pinball over the last 45 years when scaled for inflation, and we came up with roughly [$4k-$6k.] So anything over $6k would be "premium" pinball (something never offered before, afaik.)
I think the real barrier in my mind is $6K.
I too would expect "The World" for $7K+...
-mof
https://pinside.com/pinball/forum/topic/price-of-nib-pins-back-in-the-day