I’d pick up a demo for $500 off, that’s reasonable. You know it’s working, and probably doesn’t have a crazy amount of plays unless Evans in there playing it 6 hours a day lol
Then again, I like to purchase new pins from shows where stern offers discounts on the games they bring- where they get a full weekend of play (500-1000 play range). They look like new still, other than some dimpling starting in which is going to happen no matter what. I think it comes down to if you put a strong value on the NIB unboxing of a game feel or not. Fun.. but $500 of fun?
As for Firepower, like with a car I’d expect you get a fraction of its worth as trade in. I think you could easily sell it yourself with low hassle at a reasonable price for you and buyer. Last time I checked a good FP was north of $1k pretty easy if I recall correctly.