FWIW there are seven Republicans, though Trump will get almost all the votes, but if there are going to be protest Republicans anywhere I guess they will be here.