Try our re-instated info resource - "Aladdin's Cave" (Main menu)- sorry it's taken so long to fix
That's really good advice, thank you. It is the original master cylinder but I'm not fussy about that type of thing. I guess if I buy a new one I can repair the other at my leisure. Sounds like the DS ones are good then.