$5K for a CP is insanity! CP's value the past few years has fallen like a rock. Average Ebay price according to Boston Pinball is just over $2300 and i've seen several for sale locally for under that . A friend of mine had a really nice CP that could have passed for HUO, and sold it last year for $2500. It's a fun game the first 20-30 times you play it but it gets way too repetitive after a while. Cool theme, art, and music, but the game only has a limited number of shots and things to do. A bit of a novelty game, and the ball times are excruciatingly long!-I would definitely disable the stopper if i owned the game.
Mint MB or CV's may be hard to find around 4K, but i've seen nice unshopped examples of each game for under 4. If mint HUO condition games are what you're after, i would maybe look for a STTNG, WH20, or NGG. You should be able to get mint examples of these in the 3.5K range. All 3 are great games with a high fun factor level!