I seem to have read that there is a possible problem with using WD40 to spray the electrical tow socket and plugs and that there is a spray specifically for electrics that does not affect the cabling and grommets. Does anyone know what it is called please?