Data were collected on the amount spent by 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.