The pump is a less-than $200 part and can be done yourself with relative ease. I'd say buy the pump yourself and save hundreds of dollars.

Sent from my Pixel using Tapatalk