The consumer report claims that most of the MP3 player's mean battery life is less than 30 hours. A random sample of 18 MP3 players has a mean battery life of 28.5 hours and a standard deviation of 1.7 hours. Is there enough evidence to support the claim at α = 0.01?