Yup you found it. Also just a suggestion but as a former working auto tech. I highly suggest changing/flushing out the complete hydraulic system about every 7 years or so. Dot 3 and 4 fluid is hygroscopic and sponges moisture from the air contaminating and internally rusting the system over time. This is actually manufacturer recommended maintenance that most people are unaware of but can save you on money and down time.