According to the Insurance Information Institute, the mean annual expenditure for automobile insurance for U.S. motorists is $817. Suppose that a government official in North Carolina has surveyed a simple random sample of 80 residents for her state. Based on these data, examine whether the mean annual auto insurance expenditure for motorists in North Carolina might be different from the $817 for the country as a whole.