Republicans enjoyed a fantastic election on Tuesday, making gains deeper and broader than they could have imagined earlier this year. They arguably dealt Democrats an even more crushing defeat than they had in the Tea Party election of 2010.

Which, of course, means that some of them believe it’s time to reload and restart the internecine war between the party’s Tea Party guerrilla warriors and the professional political operatives of its regular army.