Några at operahusets festdagar.