Schläge auf dem Schulhof

Huhu,
ich brauche mal einen Rat.
Bei einer Familienveranstaltung von unserem Stammtisch hat der Sohn von Bekannten (10) meinem Sohn (9) gesagt, daß er ihn nicht mag.
Warum auch immer, egal, ich habe ihm gesagt, nicht schlimm, man mag halt nicht jeden.
Gestern morgen in der Pause kam der Junge dann mit 2 Kumpels zu meinem Sohn und hat ihn geschubst, geschlagen und getreten. Als erstes hat er wieder gesagt: "Ich mag Dich nicht."
Mein Sohn hat dann gesagt, dass das nicht sein Problem ist, und ist weggegangen. Dann ging es los. Sein Kumpel hat ihm geholfen, und die Aufsicht wurde informiert.
So.
Spreche ich nun die Mutter an? Ich kenne sie ja recht gut.
Lasse ich es sein, weil die Schule/Lehrer regeln das schon? Sowas kommt ja immer wieder vor, gerade bei Jungs.
Oder sage ich, solange es nicht wieder passiert, geh ihm aus dem Weg, sind bald Ferien, danach geht er auf ne andere Schule?
Bin etwas ratlos.