6.12 Starting at noon, diners arrive at restaurant according to a Poisson process at the rate of five customers per minute. The time each customer spends eating at the restaurant has an exponential distribution with mean 40 minutes, independent of other customers and independent of arrival times. Find the distribution, as well as the mean and variance of the number of diners in the restaurant at 2 p.m.