The head was milled a few thousandths after coolant found in oil. Actually the least warped head of this style that I've ever seen. They usually warp too much to repair.

My customer used WP head gasket, claimed to be OE (something like "Huen Dong" on the box... Login to read more.