8.26 The service times for customers coming through a checkout counter in a retail store are independent random variables with a mean of 1.5 minutes. The standard deviation of a random sample of 12 customers served is estimated to be 1.0 minute.

Approximate the probability that 12 customers can be serviced in less than 15 minutes of total service time by this one checkout counter.