First and foremost, of course. But I'd expect Mario to be addressing that. Likewise a battleship doesn't turn on a dime.
But what about a rumor that players made fun of Restrepo brought that to your mind? When was it? Who did it? Is there anyone who can confirm it?