Is it OK to use commercially available lubricant on the fader part? Do not use a commercially available lubricant, as doing so could affect operation.