Flushed the brakes, that is. Some time back I did not think it necessary to flush the system, but I kind of kept remembering what you had said, so did it. First we let it gravity drain until it ran clean. The fluid that come out was Ugly,

really dark and then power bled it. Was really surprised that the power bleeding brought out even more of that ugly stuff. We emptied the reservoir with a suction gun prior to starting and the fluid in there was ugly also.
The rig is 5 1/2 years old and has 45k miles now. Never had any sign of a brake problem, and it sure is a good feeling to know it is now done.