Two annual productions are especially notable: the Waa-Mu show, and the Dolphin show.  How many student theatre companies does StuDo organize?