Thanks for the advice. I'll check with my mechanic and have brake fluid flushed the next time I take it in. He doesn't normally recommend unneeded work, but didn't ask about the history either.