I got back from the beach and used my winch to pull out several stuck vehicles. Of course it has salt water and sand all over the 3/8 inch SS wire cable. I hosed off the cable and wiped it dry. Is there a lubricant one can use on the cable? WD-40? Dry-Lube? Silicone? Leave it dry? Anything other? Any input pros and cons?