The average diameter of 100 sand dollars that make up a collection is 3.50 centimeters with a standard deviation of 0.80 centimeters.

The average diameter of 100 sand dollars that make up a collection is 3.50 centimeters with a standard deviation of 0.80 centimeters. If 25 sand dollars are chosen at random from the collection without replacement, find the probability that the average diameter of those sand dollars is less than 3.45 centimeters. Assume that the variable is normally distributed. Adjust for "without replacement."