P.s. to anyone answering this, if it turns out my master cylinder has gone, is there any other choice in replacinng it i.e. performance master cylinder made by one of the big brands in the brake business??