At the very most they should offer the Muslims the option to either take Labor Day or EID. That might be somewhat reasonable. But to do away with Labor Day, a national holiday, is unacceptable. And no prayer rooms.
Can they do that? Labor day is a federal holiday but the one they have swaped for is a religious holiday?