I would have followed it up with the dealership and if for some reason they did not get it sorted (which they should) I would have just left it (as upsetting as that will be). From the sounds of it the damage will be under the fair wear and tear limit.
