I'd like to know how they repair such cracks, because in some instances, the crack is not just on the surface, as there is the very possibility that the crack has traveled further up into the head... in such an instance, HOW is that even repairable (my guess is, it is not repairable and the head is junk)...
post up more info as to how the shop intends to fix your cracked head and if possible, post pics of your cracked head.
Most of the cracked M42 heads are of the (2) varieties posted above by Nomad... the second pic, that crack seems to be the most common of the two and in most instances is not just a surface crack.