Oh lord. Worried about a dealer using a thickness gauge on paint.
The dealer did the repair. They know it was done. They won't care. Brand new cars get scratched and fixed by the dealers all the time it is just not common for the customer to know.
Dude, don't invent problems that just don't exist in this world.
