The next time Republicans are a majority in the Senate will Democrats really argue to keep the filibuster they want to get rid of?