WPT is sub 4K and having recently bought one I would definitely recommend you consider it.
It seems to get ignored by most people:- it doesn't have a sexy, "Hollywood Block Buster" theme to pull you in.
And no toys on it either. Unless you count the poker hand in the middle of the playfield.
And yet it's still loads of fun.
It's got a pretty deep rule set but it's not difficult to understand, there's just lots to discover. It implements the poker theme nicely with humour and good animations. The modes are much more imaginative than on many Sterns.
Shoots very well (Steve Ritchie design). It feels a mixture of controlled stop-start in single ball play, fast and flowing (frantic even) in multiball . And there are a lot of different multiballs if you like those - which I do.
The upper playfield actually plays well and adds lots to the game.
Plus one more thing that may or may not be a plus point for you - it's not brutal. Even a pinball numpty like me can squeeze a decent game out of it.
I'm not saying it's the best Stern, that's subjective, but I'm loving mine and for the money you get a lot of pin.
Tron is on the 4k line and fantastic game. I didnt exactly have ST PRO flying out the door at 4k but eventually went to Germany at that
Sopranos must be a sleeper as back in the day (around 2015) I had 4 all at £1500 and was glad to get £1800 a peice as just didnt do anything for me