“Marvel Studios cast Robert Downey Jr. as Tony Stark three months after the actor's mugshot was widely publicized.”