Having 4 Republicans actually cross Trump on this is marginally significant, but they know full well that it changes nothing.