Since the repairman caused the damage, he would typically be responsible for the property damage. You will want to contact their insurance company as soon as possible. Here is more information on what to expect when filing a claim. Good luck and if you have any questions, don’t hesitate to ask.