Practice: Gas prices are getting more and more expensive. The average gas price, from a random sample of 100 gas stations, was $3.50. It is assumed that gas prices have a standard deviation of $0.04. Construct an 80% confidence interval for the true mean gas price in the United States.