I think it was a very tough call, but GOP would destroy Dems on shutdown, and let F-Elon chainsaw more federal jobs. They’ll fight it out for the actual budget resolution.