All gone! Raised marks are typically the easiest to remove unless they’re surrounded by detail. If the work area is tight, a flat chisel blade in a hobby knife can be used to carefully scrape the raised disk down rather than a file. Just be careful not to gouge the plastic.