The mechanic also told me that I should just get the pump from somewhere else instead and save a bit. Either way it seems like it'll come out to $750 , but i'm just asking you guys for some confirmation or second opinion on what should I do, or should i just leave it at that, thanks.








