On the actual rules everyone needs to play by, it's a Red using VAR

And no, Messi could not be a VAR Red