Congress has a way of internal cherry-picking, both for elimination (very, very rarely) and protection (way too often). There would really have to be a substantial and embarrassingly obvious tie-in to Pence to have him go with Trump, and I don’t see the GOP casting a wide net when they might prefer keeping loose a few agreeable (to the GOP) fish free. Plus, political-logic might indicate that with Trump being the most hated, “enough” of the public might be satisfied with just he being shown the door. (Frankly, I’d like to see them all go, but I don’t see that happening based on what we’ve heard so far.)