Anybody have thoughts on using WD 40 as a cable lubricant? I know it is a water displacement formula and a penetrant, but this seems to be something that it would work well for.