That one seems more like a pro than a premium compared to today's pins. I'd say 5.5K.
Is this the one from pinballisfun, below? Man was exciting to see all those warehouse finds show up again. I still know of a couple, and plan to get my hands on one soon.
https://pinside.com/pinball/forum/topic/for-sale-nib-no-good-gofers-williams-1997