Best is to replace the head gasket . However , Blue Devil head gasket sealer usually works very well if your friend is on a budget . I have sold many at work and the buyers were impressed . Bars Leak now has a carbon fiber head gasket repair . Still should plan on head set purchase down the road .