I used CRC PowerLube in the red can to flush shifters. Solvent with PTFE (Teflon), so leaves a lubricant after the solvent does its thing. Works much better than typical solvents alone, and obviates the need for a separate lube. BITD, about $3 a can at auto parts stores, but I'm sure it's gone up since then.