Yeah, that's how I try to think. And yeah, they said that normally when the water pump is replaced the timing belt + related stuff are also pretty much always replaced/tightened/etc. because those parts need to be removed to reach the water pump anyway. And 650 wasn't what I paid for this repair, that's two repairs combined (the transmission wires snapped roughly a month ago). A friend of ours is doing the repairs, so it's basically off the books, so that's why it's a fair bit cheaper. The parts obviously cost whatever they normally cost.