I was hoping that someone had answered your question in the thread. I've been searching for the same solution. I was working on the HVAC outside someone's home when I accidentally spilled over some stucco. The only solution that worked for me was to chisel away the stucco and then saturate it with tons of nail polish remover.
--------------------
BMartin9000
fhfurr