I got the idea for doing this from an existing post here on HB, but I can't remember where it was now.
I'll try and get some pictures this weekend, but (from what I can remember - I hope I have this right!), the switch on the front (no automatic dosing) switches both the solenoid and the pump. The pump wires were wired from Live -> Pump -> Switch -> Neutral (yeah, I know, the pump was held live, which scared me a bit when I realised, especially as it's an external rotary I switched to, and it sits on the floor

).
The timer relay has two terminals that start the timer (and switch the relay), and two terminals for the relay output. It is rated for 240V on both the input and the output circuits, so I can quite happily run this from the existing 240V connections for controlling the time and switching the relay.
I changed the pump from the above to Live -> Switch -> Relay Input -> Neutral. I then added in new cabling to go Live -> Relay Output -> Pump -> Neutral.
I tucked the relay out of the way in the corner of the case, just under the cup warmer tray. I stuffed loads of melamine foam to insulate all I could already, so the relay stays pretty cool.
The only problem I have is that for some reason, if I don't press the brew button for a while, the next time I do the pump will start immediately. I -think- that the little neon light in the switch is somehow allowing some kind of bleed, pre-charging the relay timer. I actually like the way this works, so I haven't bothered to fix it. I always flush before I brew, so it's never an issue.