Instruct: How many different enrollment numbers are there for the school whose students are nicknamed Barons?
Output: SELECT COUNT Enrollment FROM table WHERE Nickname = Barons