Was Banner ever red hulk though? I know in AoU the maddened Hulk was grey as a nod to that version of the Hulk, but haven’t all Red Hulks been people other than Banner?

Thor threw Mjolnir at Hulk, the Hulk tried to grab the handle and went flying with the hammer because he isn’t worthy of picking it up, he didn’t pick it up, Thor did when he threw it at him.