Ended up being $820 to supply and fit belt kit and OEM water pump. He said he found a supplier of the OEM pump at a cheaper price than the dealer spare parts.