Hi Neeny. Must admit I've never bothered, I've just changed the belt (and, latterly, tensioner). To my mind as it's relatively easy compared to most cars to change the pump, it's not such a big deal to have to do it separately if it does fail. Depending on other replied though, I might find out I'm being lazy!
Best of luck with the job - have fun, and enjoy the cuppa afterwards!
David