Moby, ante todo hay que mirar cualquier intervención de taller en el coche con la misma prevención que tendrías tú mismo para entrar en un quirófano. Lo primero es rellenar el circuito para que la bomba no trabaje en seco, lo que la averiaría sin solución, si no ha sucedido ya. Y luego hay que buscar la fuga, porque si el circuito estaba vacío por algún sitio se ha tenido que escapar el líquido. Pon unos periódicos o cartones debajo del motor durante toda una noche, a ver si los mancha y si es así, te toca tirarte debajo del coche para buscar la fuga.
Dependiendo de por dónde pierda, así de cara o barata será la reparación, pero desde luego antes de soltar 1.700 aurelios, yo pediría ver el coche levantado en el taller y que el mecánico te diga por dónde pierde y el porqué de la reparación, haciendo especial hincapié en si se puede reparar el elemento afectado o es impepinable sustituírlo por completo. Y no está de más pedir una segunda opinión en otro taller.
Que salga todo bien. Un saludo.