A guy I worked with spent the night in a downtown Indy hotel and valeted his vehicle with a pistol in the console. When he got home he discovered the pistol gone. He called the hotel, they said that he wasnt allowed to valet a vehicle with a gun in it, and they arent responsible. What should he do? Should he call the Indy police and report it stolen? Thanks