Seeing as how the latest Pirates of the Carribean, Family Guy, and the upcoming Spiderman sell brand NIB for $4995, I don't see how a NFL would sell for $4000, unless it's to a Giants fan who has more money than sense.
I think it's funny that, seeing as we sell pinballs both old and new all the time, we NEVER get people asking for an NFL pinball. We get lots of requests for Addams Family, MM, South Park, Theatre of Magic, etc... NEVER NFL.
The reason the production run was so low has nothing to do with value. It ran low because:
1) It was limited to certain markets. People in Dallas didn't want to buy a Giants one, for instance.
2) It wasn't as fun as advertised. Too much similarity to past pinballs.
3) It wasn't selling, so the production was cut short.
And before you question my "qualifications", we've been selling and servicing pinballs since 1989. We are higher-priced than a lot of people because we shop games out completely, warranty our work, offer trade-backs for life, and sell at retail. Even so, a nice NFL would sell in our shop for probably $2500-3000, but that's because we sell for retail. We have plenty of customers who could write everyone in the US a check for $1000 and still have money. Funny how none of them own an NFL. Monopoly? Yes. Addams Family? Yes. LOTR? Yes. NFL?. No....