A leasing firm claims that the mean number of miles driven annually, μ, in its leased cars is less than 12,340 miles. A random sample of 60 cars leased from this firm had a mean of 12,147 annual miles driven. It is known that the population standard deviation of the number of miles driven in cars from this firm is 2,450 miles. Is there support for the firm's claim at the 0.01 level of significance?