Is the head gasket covered under extended warranty if it needs to be replaced? Anyonw how much it cost to get it done.....I was just quoted around $315.00???