The average age for licensed drivers in a certain county is 42.6 years with a standard deviation of 12.2 years. A researcher obtained a sample of 25 drivers who received parking tickets and computed the average age of these drivers. Which test should he use to determine if the average age of the drivers who received parking tickets is different than the average age of the entire county?