Those are helpful. But I think I can use a Chi-squared "goodness of fit" test. It's a little complicated, but I've already been teaching Chi-squared tests by brute force because it's an important test. The binomial test requires a number of steps. I think I'll stick to Chi-squared test for this application, since it's fewer things for me to walk my students through (in a one-week crash course on statistics).