Hi and thanks.
No, there is no visible leaks at all and the reservoir level has not dropped either That is what makes it a bit difficult to figure out - no clear clues. However, as the pedal was stuck it does point a bit to the main cyl. But yes, I think its better to change them both too. The...