According to the cops, the robbery was not Bitcoin-related. The robbers were after his fiat cash and the credit cards. He was forced to give his credit card PIN number to the robbers, and might have already lost tens of thousands of USD. I just hope that the perpetrators will be arrested soon and removed from the general population.