I flushed all the DOT 4 out and refilled with DOT 5.1 (not to be confused with DOT 5). I'm real happy with it. No missed shifts yet, including after cooking in traffic for a while. I urged myself to flush the fluid after I recreated the problem in a straight line after taking off in almost stopped traffic (resulting in a second gear grind that had nothing to do with the clutch pedal not being pushed in). I'd love for someone else to chime in and try this out.