Another thanks from me, changed my cable over yesterday - old one was actually partly physically broken.
Followed the procedure here, definitely a good tip to tape the old/new cables together, made pulling the new one through easy.
It was a little fiddly to get the pedal unbolted but all in all well under an hour from start to finish.