Baron,
I don't know about the pump price, but I'll bet part of the labor would be to outsource the pump. I went to the Cummins shop once and the guy told me that they didn't work on pumps. Found out from my step-son that one shop in Roanoke served a large area for pump repair. So if the shop providing the quote isn't a Bosch repair shop, find the one that is and ask their cost.