Good choice on themes you love. Theme and music are huge for me. If I don’t like them both, at least a little, it won’t stay.
Forget games you can’t buy now or that are just coming out. (POTC or future). Let someone else work out the bugs and save the money). POTC looks like an amazing creation to be enjoyed for decades, no reason to pay the premium on year one of production. Also you mention you are so so on the theme.
Best bank for buck on your list is X-Men LE. All the bugs are worked out on this game and may can be had for a nice price. I’d personally go for one that had been owned by a proactive owner and installed all the fixes etc.
Of your list my two choices would be Star Trek LE and AC/DC Prem. I’ve owned STLE since it arrived NIB. It’s probably the best cabinet upgrade package Stern has produced to date. It’s a stunning game. I had a NIB AC/DC Prem and sold it to try other things. I have sellers remorse and will likely own one again. These are not bargains, I just love the game and Steve Richie games in general.
I owned Spider-Man and loved it also. I prefer the Toby Maguire version and it’s cheaper!
I could only vote pence so I chose STLE. That’s the only game on your list in my collection today. Best of luck!
Edit (Spider-Man original has one thing I really love. JK Simmons call outs. It really makes the game funny. Very few games have actors of that talent level doing the voice work.)