I have had a jar with a 50/50 mix of DOT4/DOT5 on my workbench for a couple of years. Periodically I give it a good shake. The 2 fluids mix for a while but separate over time. There is no sign of a Gel or any other nasty interaction. One interesting point is that the purple dye seems to have migrated from the DOT5 to the DOT 4. You need to make your own decisions when it comes to brakes but if it were mine, I wouldn't sweat a small amount of 5 in your system.
The 5 is less dense and floats on top of the 4 so it should be easy to use a baster to suck off most of it.
Marv J