The MacDoobles restaurant chain claims that the customer wait time for service is normally distributed, with a mean of 3 minutes (suppose the distribution has a known standard deviation of 1 minute). You independently decide to test their claim by choosing restaurants at random and observing a SRS of 50 customers, noting the mean wait time for the sample was 3.25 minutes. Is there significant evidence (at a significance level of = 0.05) that the true mean MacDoobles wait time is longer than they claim?