Just bought a car and the dealer has agreed to fix the alloy ding. They repaired one of the others and it is like new , so I’ve no concerns about the quality of the workmanship. It’s very small and the alloy is diamond cut. What would the process be for repairing this ?