Mixing live audio, tracks and radio microphones for the school’s annual musical.