Do you need to wash paintwork that has been sanded prior to painting? I am curious, as decorators are telling us different things.