Yes. Fortunately it only cost me about 700 in the end. I also replaced a bunch of hoses and gaskets that were looking worn.