Hard disks for computers must spin evenly, and one departure from level is called roll. The roll for any disk can be modeled as a normal random variable with mean 0.1240 mm. 16 random sample disks were collected, and the sample variance is 0.001014. What's the probability that the sample mean will lie between 0.1032 mm and 0.1380 mm?