That's too bad that his things were stolen. If I were him, I would file a police report.
On the subject of theft, our house was just broken into while we were out of town (we still are), and thankfully our alarm went off. We still don't know if anything is missing, but we will find out tomorrow when we get home