Ok, dealer called and said my car had a small dent on the roof caused by a chain or something from the shipping company. They fixed the ding, but their is a small paint chip around a 2mm by 4mm on the roof. Would I be better having their body shop sand it, and repaint the area, or have it touched up? They will do either and I am wondering if anyone has an opinion either way?