And speaking of gay theater, I ushered for the local college production of Fun Home again tonight. They had a much larger audience than they had on opening night, so that's good. And it's improved since Thursday, too. Technical issues and actor comfort in the roles were improved.