DS2 was assaulted - what do you do?

[mears]

My 15years old DS2 was headbutted in the face the other night by a boy (the same age) who was probably drunk. His friend was also punched and kicked. The assault happened as they left a place where youngsters meet and was broken up by staff. DH and I were furious and called the police. This boy has a history of aggression and is a known 'ned'.
We felt that the police should deal with it as this boy is well known for assaulting others and seems to be out of control. However, I am concerned that DS will be a target at school. If we didn't inform the police then nothing at all would be done. Not sure much can be done with making a formal complaint either but this boy needs somehthing done to help him change his ways. What would you have done?

[dinny]

I ask cos that's ds's name better saty away from glasgow.
how is your ds now, Mears?