it should be in the 400-500 ballpark range for parts and labor. (timing belt and water pump, and the associated seals/gaskets)

your car only has 57k, so its kind of early to a water pump and timing belt, but you might as well replace them while you're under there. how do you know its leaking?