I'm considering the same options as you for my second pinball, Deadpool would be the only Stern I'd consider buying. But at this point I've put my shopping list on hold, waiting to play Oktoberfest who is a serious candidate, and waiting to see if TBL comes back, which would definitely be my prime choice, by far (very far actually, this game is fantastic)