Most of those games are terrible, way over priced, or both! Don't buy any of those. TMNT is ok but not worth paying out the nose for it. You are way better off buying Shaq Attack.
Here is something that is very important and crosses over from video games. Theme does not necessarily make a great playing game. Iconic 80's franchises and video game themes are not lasting games in the pinball world and the games above do not necessarily offer much replay value. Once you've played the games you listed above 50ish times, you've seen everything the game has to offer the player and you will tire of the repetitive gameplay.
I would lean towards a game like Fish Tales or Jackbot over the games you listed above.
MORE IMPORTANTLY, go play the game you are buying in person before you hand the cash over. DO NOT buy a game over the internet as you first pinball purchase. THAT will help dictate what you should buy as well.