as long as its just the head gasket and theres are no other issues, and he can change it himself yeah sweet as, taking it to a mechanic depending on who it is can be costly for a job thats pretty damn simple, unbolt head, remove poo gasket, put new gasket on, bolt up head, presto!