Kolega dobrze robi, że nie porywa się z lutownicą na takie drobiazgi. Polerowanie by więcej dało, o ile ten polimer da się polerować, bo niektóre są kapryśne i się rozwarstwiają. Na takie drobiazgi to bardziej wosk. Ewentualnie odtłuścić, uzupełnić jakimś klejem cyjanoakrylowym, przeszlifować i na gładko ,następnie nawoskować.