Many Republicans say they would never vote for Donald Trump. But when push comes to shove, will they really vote Democratic, or sit on their hands?