DOT 3 vs DOT 4 Brake Fluid: What's The Difference (Mix Them?)