On your list you have several games closer to the bottom of the budget and several closer to the top of the budget.
Overall best in your list I would say The Shadow but most are going to be north of 6k.
Best overall bang for your buck Judge Dredd. You should be able to get a 100% working game with some minor cosmetic issues for around $3,500. Lots of Mechs, flippers, ramps, modes and multiballs. 3 different multiballs in the regular game and 4 different multiballs in the super game but having to play most modes in single ball play it’s not an overly multiball heavy game and all the modes score well enough to be worth playing and force you to shoot the entire playfield which is a TON of shots.
Honorable mentions for being a fun game without breaking the bank go to World Cup Soccer and Jurassic Park.