@jack Awesome! I should try and do one -- our 60s-built house has all similar, er, flush systems.

(I never realised Wikipedia's article on toilets was so interesting...)