No help here, but we have a flusher with driving instructions too. There is something wrong with the plunger/seal that stops the waterflow to the bowl outlet and after when visitors flush there is a constant drip. We know how long to keep the button down so there is enough water flowing to clear the bowl but let go before the cistern is empty so there is a healthy audible 'clonk' to seal the flow, and he, no drip.
I now feel so satisfied having shared out private toilet peculiarities with the world. :-)