Most gently used Stern pros can be found for $5k, if you can up your budget a tad. Many should be possible at $4500, especially if you are open to ones that were routed or have a few more miles on them. Star Trek pro has been mentioned multiple times here, and I can't argue with that. That said, I would try to play as many games as you can (more difficult due to current events), or at minimum watch a bunch of streams and see what type of games appeal to you. If you can narrow it down to a few titles that interest you, you can watch for them specifically and we can help suggest similar games.
There are a lot of good possibilities in your price range. My biggest suggestion is not to rush to buy the first thing you find available. Make sure it's a game you will enjoy, at least for awhile. And if you buy smart, you should have no problem reselling it down the road without losing much (if any).