My current understanding is that yeah the number of cleaners has fallen this month down to just 3 for the whole building but I have also heard that the government contracts for some things are paid month to month so in Oct. they didnt get paid and so its creating a ton of issues and questions on if they will get paid for the last month. People currently working these jobs and others at the cafeteria they do not get automatic backpay because they are contractors. Its unclear if they would since Congress would have to pass a new bill.