Right decision but the vagaries of the rules means, I believe, Tomiyasu's dismissal can't be rescinded. Ludicrous that a second yellow can't be looked at by VAR. Second yellow or straight red both mean a team is down to 10 (assuming no other sending offs!!) but only one can be checked by VAR...