FIG rules say you can't have "Disney" music for your routine. Marvel is owned by Disney - does the music from The Avengers, Iron Man etc. count? I couldn't find anything, except an Avengers theme cut for floor music use on YouTube and someone else saying they'd used it without issue.