If his truck has the original pump then it has the 175 pump, not the 180. If money is not an object then I would say go ahead and just order a built pump from columbus diesel, or scheid. If he wants to save money then he can do the following
-full cut delivery valves - $250
-0 plate - $FREE
2095 rack plug - $15
5KGSK - $200-300
With those mods to the pump and a good set of injectors you could be pushin quite a bit of fuel. Here is a video of one of my pulls from last year. My pull is at the 2:20 mark. I had the above mentioned mods done to my pump and a set of DDP4 injectors.