A leasing firm claims that the mean number of miles driven annually, µ, in its leased cars is less than 12260 miles. A random sample of 15 cars leased from this firm had a mean of 11529 annual miles driven. It is known that the population standard deviation of the number of miles driven in cars from this firm is 2760 miles. Assume that the population is normally distributed. Is there support for the firm’s claim at the 0.05 level of significance? Carry your intermediate computations to at least three decimal places.