They had met! Just as Miles the kid and Thor, not Miles the Spider-Man. And he was a bit shorter than the other, costume differences aside. (What, he hadn't hit his growth spurt yet!)

"Dude, I'm pretty sure you could mop the ring with me, but I'm down for giving it a go!" Who wouldn't take a chance for a friendly round with Thor given half a chance? Not this little spider, that's for sure.