Hi, I have just taken delivery of a new Ka. Next day I washed it and discovered it is covered in small black specks surrounded by orange rust marks. The dealer agrees this is contamination known as rail dust and proposes to deal with it by machine polishing. I am worried about having this done as the car is only one week old. Research on the net seems to indicate that the best way to deal with it is either a chemical wash or the use of detailing clay followed by a polish. Has anybody had experience of this problem and will machine polishing deal with it? Thanks in anticipation of any replies.