On Sunday, September 13, 2020 at 4:00:07 AM UTC-4, Fox's Mercantile wrote:
On 9/12/20 11:26 AM, Fox's Mercantile wrote:
So, my question is how do you remove it?
Using a siphon sprayer, I sprayed, in sequence, mineral spirits to
cut through the WD-40 gunk. Then hosed it with Simple Green to
finish de-greasing it. Followed by Distilled water to flush out the
Simple Green and finally denatured alcohol to get rid of the water.

I'd say it came out pretty clean.
https://cdn.discordapp.com/attachments/685910956580405312/754506691353116722/unknown.png

Alcohol can etch aluminum, marble, limestone, travertine and certain granites and it can remove plastics and various forms of carbon (like from valves).