I'm having the head gasket changed on the m5 and the mechanic offered to skim the head more than .030 for some extra torque. In addition to the head gasket, he'll will most likely replace the valve seats. I figured I'd check with the board first and see what you guys have to say. Any insight? if i do it, should there be anything in addition to this?