Help with removing deck stripper and train from vinyl siding.

[jdc491]

EDIT: Title is supposed to be Stain instead of train.

So I was called about giving a quote on cleaning vinyl siding that in the process of the homeowner trying to strip their deck, they blasted cherry stain along with behr wood stripper onto the vinyl siding.

What was left is a bunch of cherry colored stain "specs" on the home. they can be removed 90% by scraping them with just your finger nail.

My question is, what mix/method would you use to clean the siding?

I should have some pictures to post later today, but I wanted to see what the pros here though would be the best method of fixing the issue at hand.

 

[Kiloman]

We used a small amount of gas on a rag one time be careful if it's oxidized if it is I would walk away or you could be in for a mess.