I usually use a vinegar/water or vinegar/water/baking soda solution and let it sit for a half hour to an hour or so, and then scrub it off. That usually works for me. If that doesn't work, then I would say go ahead and sand the area and treat it again.