I think I know the pipe you are talking about, and its not easy to remove, can losen things a bit to move it a few cm's but I would think the pump could be removed w/o messing with this.
Didnt replace my pump, that was done by an indy many yrs ago, and I doubt they touched the pipe.
What does the bentley say?