@QuietlyExcited
Annoying little shits like this grow up to be dangerous big shits. OP may have actually done him a massive favour by taking this further. It may just give him the jolt he needs.
I don't know if I really believe this to be honest. But now I think back, I have a story to tell:
There was a boy behind me in RE who kept pulling on my hair (age 13). I told him to stop. The teacher told me off for talking so I told her why. She ignored it and told me, "I DONT WANT TO HEAR IT! NOW BE QUIET!"
The boy did it again. I turned round and told him to stop. Teacher bollocked ME. Again. I begged her to make him stop. She never spoke a word to him.
He did it every few minutes, each time ending in me getting told off by the Super religious Mrs M (who actually had the attitude of, God, husband, children then wife and we as women must do as god commands and obey our husbands. Yes she really did teach that crap!) and on the last time, when the bell had rang, he walked past and yanked my hair so hard my chair tipped back. I instinctively stood up and punched him so hard in the jaw he flew two feet straight into the lockers, causing a massive scene.
Fuck that felt good!
Of course I was sent to the headmaster and he was pretty good about it after I explained. Told me of course I should never hit anyone and must always tell a teacher blah blah. But on reflection, the fact that I HAD told a teacher. "Well I'm sure we can just leave it at that. No need for you to get in trouble now eh?"
That boy now? 25 years later, he's doing 15 years in prison for at least two drugging rapes with many more suspected.
Maybe there is a lesson in there somewhere. Maybe allowing 13 year old boys to assault girls IS something we need to address..