Damage after the washing machine

Hi, I was in the car wash yesterday before changing the tires. In the end, just wash off for 5€, which it doesn’t look so bad. I got off after the car wash, just wiped the entry strips for a short time. When I was in the workshop I suddenly see a dent on the roof. I am 100% sure that I would have noticed it before, if it had been long. Looks like the one with the spotlight hit the roof, because also a lei What would you do? Go back there again? Can you save something, since it is already a day after that. Greet Marcel