I agree on the 4K range recent Sterns. I like rule games. I would add TSPP to the list provided. They can be found in 4K region.
Surprised the W/B fans have not brought up STTNG yet. I believe still a top 15 to 20 game on pinside with some of the best rules of its era, all the shows stars have callouts, a very satisfying side ramp shot off the upper Flipper, lots to do and Borg multi ball is one of my favorites. You can get one easily in the 4K region. Great game to add pinsound to as well.