Quoted from anathematize:man for 7k you can probably get 2 good pins and get much more enjoyment by being able to rotate between the two. could easily get a used stern pro IM/TWD and something else that is solid.
games like hobbit are great. but after you've played a 30+ minute game hitting that 'start' button again is a pretty daunting task. in my experience it usually takes walking away for a couple hours/days before you feel like diving back in and doing all that work again.
This is the best advice imo. There are a ton of great games at around $3500-4000. You can even find great Stern pro games for low $4000's sometimes. Buying one expensive game to start is fine if that's the game you really want. It just gets really expensive building a 3-5 game collection at that pace. However, it's pointless buying a game that you don't particular like just because it's cheaper. Any one game gets old if that's all you play.