Yep, and even if they weren't planning on just ignoring the deficit (as republicans always do when they're the ones doing the spending), any money "saved" by these assholes was going to go straight into the pockets of Musk, Trump, and their assorted superrich cronies.