My first thought was how much energy they are squandering.

Guessing the glass roof to collect sunlight in the day.

Seems like merely rolling out mirrored mylar (horizontal) curtains at night would be worth it in energy cost savings alone, and of course create the benefit of minimizing light pollution.