My father lost his mobile in a local bus

As I am new to this sub, please be gentle. Today morning while my father was traveling to his office, he lost his mobile (from his shirt pocket). He attended a call before boarding the crowded bus, so he clearly remembers it was there when he boarded. After he realized someone had taken it, he tried calling from a colleague's number. Both of his numbers were not reachable. This kinda confirmed that it was indeed theft. He came back home. Noted the details of the mobile and left to the police station to lodge a complaint. He withdrew the amount from his account. It would take 3 more hrs for the crime section to be opened, so the police asked to lodge the complaint then. Are we missing something? What else should we do? If there are some with similar experiences please guide. Thanks