Not swaying one way or the other, but $7k “seems” a little high. I literally just sold my Hot Wheels for $5850 and way happy to get that. It was my first pin in 15 years that I actually didn’t break even or make a few extra. Reason is that these are STILL READILY AVAILABLE everywhere for $6300! Plus MOST distro’s are including free shipping and no tax if you live out of state. Plus most disto’s still have some from the first run that INCLUDE the shaker and side art. So you can’t count them as an add on.
With that being said, IF and only IF you like the same mods the OP has installed, then yes, you would get close to the upper $6k figure, pushing maybe $7k to the exact buyer that wants the exact mods. Unfortunately pinstadiums are $hit to most people including myself.
The upgraded glass in my opinion is the ONLY mod here to increase the value of this game. So there is an extra $250-$300 IF the new buyer wants that.
Best bet in this case would be the OP remove the upgraded glass and put in on another machine then sell Hot Wheels for market price, around $5,800-$6200
Looking at the comments I know the OP will not agree, but it is what it is. This game is still available BRAND NEW for $700 LESS than what the OP is asking.