Originally Posted by PINeely
That's about what you'll be quoted. It's a really straightforward fix though, no reason to pay a shop IMO, or at least not a reason to pay for more than 2 hours labor. OEM Pumps can be had new for just over 400 dollars.
Aftermarket pumps are available but they cost almost the same as the genuine part. Go OEM.
Why it seems OEM fails in this case.