If indeed the high pressure pump is bad, there are many more remedies today than a few years ago. You can replace the entire unit with an aftermarket one for a couple hundred bucks or you can purchase just the high pressure pump and install it for cheap too. If you keep the origional unit, I...