Orange for me as well, meaning I think if I was VAR I'd back either a red or a yellow on the pitch as neither being clearly and obviously wrong.
Without wanting to bring up an old argument again, I think the signalling was far clearer on this one than an incident we discussed a few weeks ago where a yellow was upgraded. Call the player back, cutting the grass gesture to cancel the previous decision, show the yellow card. No need to add confusing by pulling out the red card, everyone knew what was going on.