I've gotten some bright red paint on my white stucco. How do I paint over it? I've never painted stucco and want to know the best way to cover given the stucco is so textured.

Thanks