OK if it was that kind of LOL then it was actually the right thing to do. Text is such a lousy format for things like this...don't get to specify what type of LOL it is.
Anyway, you are totally right of course, he should go for it...what's the worst thing that can possibly happen? Is that worst thing really that bad, considered you did your best and am no longer uncertain, and weighted up against what happens if everything turns out for the better?
Though I don't really have the right to say anything about this. I would probably need to be in your real life to make any sound judgements about this at all.
What's the point of going out with a girl at 13? Well, suppose, later in life the same situation happens again...except this time he knows what to do about the situation and have gone through it before.
On the other hand, no one should feel any pressure about having a GF at age 13 either.