If the police were involved, he probably will ultimately get a summons from the court. He can contact the district court to see if his name is in their system yet.