O’Shaughnessy Hall, Santa Fe Opera campus.