Data were collected on the amount spent by 64 customers for lunch at a major Houston restaurant. These data are contained in the file Houston. Based upon past studies the population standard deviation is known with
= $7.