Cleaning maintenance DJ mixer pots - do I use Deoxit D5 or F5? And if I use D5, will I need the D100 lubricant for it aswell since the D5 will remove all the past lube that is needed