Out of the choices my personal favorite is STh Pro. It shoots really good and has plenty of modes and stuff going on in the code. Do you have little kids? My 6 yr old was scared of the machine.
JP pro was good shooter to but really wish i hadnt only played it with movie code cause it just didnt click with me.
AIQ is not coded for beginners but does shoot good.
IMDN is the best shooter out of your choices but the music is hit or miss so if you dont like the theme dont get it.
Other choices mentioned like Spider Man i absolutely didnt like at all. I couldnt stand it after just a few days. Deadpool was ok but the clunk in the orbit and the modes were boring coded so it didnt last long.
Id get STh if you like the theme, have no little kids, like the way Attack from Mars shoots, and like mode based coded games.