The lifetime of a certain brand of battery is known to have a standard deviation of 9 hours. Suppose that a random sample of 90 such batteries has a mean lifetime of 38.9 hours. Based on this sample, find a 90% confidence interval for the true mean lifetime of all batteries of this brand.