I would go with a newer Stern pro, such as Metallica, Deadpool, or Guardians of the Galaxy.
A lot of people do not like the shots on Houdini, but that is my sleeper pick here. It is frustrating for several plays until you find the shots. However, once you begin to open the game up it has such great and deep code and some very unique modes. It is challenging, but I believe it will have you coming back for more. A used one can be found for approximately $5,200 to $5,600, which is an incredible price considering the build quality.
Also, like others have said, The Shadow is excellent and you can save $1k from your price range. The game has great 90s toys and is very fast.