Since the guy is cooperating and being nice and the damage doesn't look too bad, I say don't report it. Take it to a reputable detail shop and they can easily take care of it for less than $100, maybe $200 with a wash/detail. Even then, I would just let them go as most it was wiped away and...