The amount that airlines speed on food per passenger is normally distributed with means $8.00 and standard deviation $2.00. What is the probability that a randomly selected airline spends more than $12.50?