Is it OK to use commercially available lubricant on the fader part? Do not use it because it will affect operation.