Supongo que hablarás primero con el mecánico que te ha hecho el trabajo, seguro te lo soluciona.
Lo del desmontaje, lo desconozco, pero imagino que se desmonta todo, ya que es todo la misma pieza (enfriadora y portafiltro).
Ya nos contarás como queda el tema, pero si es un manguito, fácil solución, se cambia y listo, y si antes estaba bien, a coste 0 pues lo habrá “roto” en el montaje/desmontaje; aunque también podría ser que no esté puesto correctamente y con ajustarlo a su sitio valdría...