They may just need to replace the vinyl.

So the power washing company we used got some deck stain/sealer on our vinyl siding. The attempted to get it off but couldn't. What chemical is safe for the vinyl but strong enough to get the stain/sealer off? Something I can buy at the hardware store maybe? Suggestions are appreciated. Thanks.