I had a lot of great advice from here regarding how to lubricate the toilet seal as it seemed ours was leaking. Now, after a while of trying that, I now think the real issue is the flushing pedal itself. When it's released sometimes it will close as it should, at other times not so much. Is...