SOFT WASHING VS. HIGH-PRESSURE CLEANING: IS YOUR PVC CLADDING SAFE ?