Do we know who the 4 no shows (?) were?
Those were (I believe) the 4 republican senators, Rand Paul, Mitt Romney, Mike Lee, and John Thune.