Tough call shutting it down. Republicans would be happy because it makes it easier to keep gutting the government without any employees around. On the other hand, it makes the Democrats look weak. My guess is that if the Democrats voted to shut it down, the Republicans would just keep it shut down.