Be sure to use a clean microfiber to remove the residue, wash the area before starting to remove grit and dust, and use gentle pressure. This will avoid halos and swirls. Either WD40 or IPA will work fine, but regardless of which you use, be aware that the products can temporarily soften...