Can it be explained to us from outside, what is the impact of "shutdown" on the staff. As I understand it certain jobs, like immigration, are legally required to continue working. Are they being paid ? Is their pay being accrued, so they get it all at the end of the situation ? Will they never get paid at all but are expected to still report for duty ? How does overtime and other extras work ?