What us pit musicians did during intermission