This! Martial arts, in my case Judo where the first hour was just muscling up, made all the difference: being able to flip and never hit, let aggressors accidentally hit corners of things instead... In the US I don't know how this would have worked, depending on how high escalation can go. Still learning to fight is good advice for bullied kids.