Of course he filed a claim. It may even be mandatory.
If I have a fender bender and the cost is close to my deductible, I'm not going to risk a rate increase by filing a claim.