4500 gets you into used Stern SAM category. Spiderman, Iron Man, Star Trek...lots of great titles to choose from https://pinside.com/pinball/machine?query=&machine_generation=36#results
You could possibly find some newer SPIKE Sterns like Star Wars or Aerosmith or you could go the opposite direction and look at a few Stern Whitestar games.
Pretty much any System 11 game, a boat load of WPC games as well can be had at that price.