If I owned the diesel I'd do a head gasket because they do go for quite a bit and run for a long time. However I don't know how much a shop would charge and I would have to do the math on that one.