Helping a friend out with a car that belonged to me some time ago. The engine over heated and blew the head gasket. He took it to a machine ship who indicated that the head is warped over .005 in the middle.
In order to make it straight, he indicated that it would need to be machined 0.009 inches to correct it. However he claimed that you cannot machine an OM-617 head and told my friend to find another head.

Does this sound correct?

If so, will a W123 OM-617 head work?

__________________
With best regards

Al