A machine in the student lounge dispenses coffee. The average cup of coffee is assumed to contain 7.0 oz. Eight cups of coffee from this machine show the average content to be 7.3 oz. Suppose that the population standard deviation is 0.5 oz. Do you think that the machine has slipped out of adjustment and that the average amount of coffee per cup is different from 7 oz?