Man that sucks. I would have filed a complaint with the police so the property damage was on record. Then I would have the guy submit it to his home owners insurance if it happened on his property. But since it was on public property I am not sure of your options legally. Hope your day gets better.