Installing a new master and slave in my car, not sure what to lube the pushrod with. I'm concerned about seal compatibility on the piston end, as I've always been told the rubber used in brake fluid systems is incompatible with petrochemicals. Service manual was of no help.