Jumbo shrimp are those that require 10 to 15 shrimp to make a pound. Suppose that the number of jumbo shrimp in a 1=pound bag average u=12.5 with a standard deviation of s=1, and forms a normal...

Jumbo shrimp are those that require 10 to 15 shrimp to make a pound. Suppose that the number of jumbo shrimp in a 1=pound bag average u=12.5 with a standard deviation of s=1, and forms a normal distribution. What is the probability of randomly picking a sample of n=25 1-pound bags that avaerage more than M=13 shrimp per bag?