I´d say leave it as it is. If you try to polish a watch yourself, you will most likely take away some of the original finishing. Plus, dings on the inside edge of the lugs... how are they visible anyway?

Did it come from the RSC with the dings, or did you put them on the watch yourself after it returned?