Right on. Glad its getting fixed. Without the warranty they would have probably charged you around $1500-1700 US to do this. I got quoted $1085 for the lower intake gasket. I just did it myself for around $150. Then about a month later I blew a head gasket. Changed them both out and so far so good.