When is time to file a claim

Make the claim and decide from there. Even if you dont fix it you will still be covered by insurance.