NASCAR, WPT, Monopoly, and of course Sharky's and Strike are all $2,500 or cheaper - I think you could throw T3 in there too but people seem to be a little optimistic on that one lately.
24, Big Buck, WOF are probably the next step up. All of these listed should be under 4,000, with Avatar and Stones probably in the mix as well.
I'd have a hard time paying that kind of money for ANY of these titles when there are plenty of WPC 90s games available cheaper.