O/T What would you do? Options

[spare time toys]

So tonight I get home from running after super to find out the kid next door jumped my daughter( 13 yrs old) tonight. Thier kids were out front playing in our yard and Lizzy went out and asked them to go play in thier yard. The older one of the boys (12 yrs old) starts in calling her a lezbo and pushes her backwards and she fell. Then he jumped on top of her and put her in a head lock and was choking her while telling her you know you love me. Here is the kicker we are white and they are not, we have talked to the kids folks before about the boy calling her stupid white girl and other race type of names. My girl could care less what race some one is her best friend at school is black and they hang around with the kid who is new and came from China I think. She has never made racial coments to them. Do I got to the cops and file a complaint or what? (IMG:style_emoticons/default/confused24.gif)