It has to be a yellow/red if its a pen, yes, but I think its only a red if its considered intentional and even in the moment I felt it looked like it was just arm placement. But the ref was pretty adament almost immediately after it occurring which is odd.
