Roof hail damage or not, should they file an insurance claim?