The population standard deviation

  In auto racing, a pit crew claims that its mean pit stop time (for 4 new tires and fuel) is less than 13 seconds. A random selection of 32 pit stop times has a sample mean of 12.9 seconds. Assume the population standard deviation is 0.19 second. Is there enough evidence to support the claim at α = 0.01? Use a P-value.