You very much did the right thing. I used to get picked on when I was junior high. The school doesn't do shit. The teachers don't do shit. The only thing a kid can do is fight. The only is. I would tell him to do it where he isn't going to be seen by anyone that would rat on him. Schools get pretty crazy about that anymore. All I did was switch school and learn to throw my weight around.