But they did buck the party. This was a mostly dem-supported bill.

http://www.senate.gov/legislative/LIS/roll_call_lists/roll_c...

Note: I deleted my original post because I mistakenly said Paul had voted for the bill. Paul voted with the establishment republicans (McConnell, etc) against (i.e. to keep the NSA as-is)

Edit: Also, Cruz bucks the Republican leadership all the time. That's his thing and they hate him for it. He was the main force behind the government shutdown.