If it is the head gasket that is leaking, I would do the work and NOT surface the head unless it needs it. Be sure this tech knows this engine well. This is the key to getting a good job.
ASE CERTIFIED MASTER AUTO TECHNICIAN
MERCEDES SPECIALIST 11 YRS