Thanks guys!
Since a cistern with the pushbutton is only around £30 I think it is worth the experiment and I will post my results :)
I have asked the supplier if the cable for the button can be extended before I commit to buying - just in case. I suspect, as mentioned, it won't work...