After ten years, the vinyl shutters have to be repainted or replaced. I've heard that there is a type of paint specifically formulated for vinyl. Has anyone heard of such a thing?