@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...)