Hi - I don't know I will ask him. Also, this mechanic (with 45 years of experience and he seems to know his stuff and came highly recommended) is insisting on NOT using a head gasket because he insists they will inevitably leak and is having the heads machined to insure a tight fit. Has anyone heard of this?