Doesn’t matter what Romney does. Pence would be the tie breaker.
That's true, but best to have an insurance vote in case one of the GOPers turns yellow at the prospect of being doxxed or otherwise harassed.