Sounds about right. Working from memory, I've heard anywhere from $800 to $2000. But I don't know the details or circumstances for each job.

Was this the first time the head was replaced for this car? I'm guessing the new gasket should last longer than the original one.

__________________
95 E320 Cabriolet, 169K