So.... Did he pay for his ticket? Even if his ticket was “comped’, Did he buy a drink or a snack?
If so, the NFL got his money anyway, which is all they care about.
Such a public example of someone walking out of a game because of protest will hurt my more than the $20 on concessions. I doubt this was done by accident.