At a large department store, the average number of years of service was 13.5 with a standard deviation of 6.2 years. If an employee is picked at random, what is the probability that the employee has worked for the company for over 17 years?
A) 0.0318
B) 0.0852
C) 0.1875
D) 0.2862
E) 0.4679
F) 0.6566
G) none of these