Polishing whole records is verboten in my books, especially when styrene, rare or common: worse still if passed off as 'clean' records. Using an abrasive to remove a major flaw such as a skip makes logical sense. Never tried it, but something like Duraglit, a fibrous metal polish, might dig down into vinyl imperfections. Normally, a really good swabbing with Mr Sheen cleans a record as good as it's gonna get. Usually it's best to wait for a better copy to come along rather than spend time attempting to fix scratches etc.