This is me always. Would it be okay to ask them to repeat their name? Definitely. Will I? Nope. Too much social anxiety on that one.
Though I am trying more and more to do just that when I am in this situation. Also try to blame it on something else “hey I’m sorry but the music was so loud I couldn’t hear. What did you say your name was again??”
Would be awesome if we could get a Marvel vs. DC game to go along with these comic books.