Thanks. I thought as much. So can anyone tell me what can cause the pump to keep running? Is a replacement master cylinder a fix or is there something else that I should be attending to?

Charlie