Criminal damage to my car - what next?

[SpeedEight]

Looking for some advice, my car was damaged by someone kicking it last Saturday evening, big dent in the side.

The person who did it was arrested at the scene, the police took my details but I've heard nothing yet.

So,
- Should I have been contacted by now or is it too soon?
- Should I tell my insurance company?
- Should I get quotes to fix the damage now or wait until I hear from the police?

Any insight into this by anyone who's had this happen to them would be very much appreciated.

[SpeedEight]

Thanks for all of the replies so far. I guess I'm just in the hands of the courts awarding me some compo.