Саме так - пенальті і червона або жовта Родрігезу.
Згідно правил.
Цікаво що скаже комітет арбітрів про цю ситуацію.