Personally, if it was mine, I would have them make it right. Some people do not mind these minor things, but I am kind of picky about my machines. If I scratch it, it doesn't bother me, but I expect absolute near perfection from factories and/or repairs. After all, that is what you paid a premium for, a quality machine of impeccable build. Good luck with whatever path you choose.