The toilet flush is fed by the pump which feeds all other taps. Unfortunately when other taps are used the toilet also runs, despite being in the off (high) position. I'm presuming a washer needs to be replaced or a spring and can't see how to get to it. Any advice gratefully received