just the red card. just to clarify it was the other team and their manager that didn't mind reporting the offender not his manager or teammates. I thought i understand that you are feeling generous and truly appreciate it but gotta send it in.Hope you reported that as well.
But why would i want/should report this? They were trying to be nice/understanding that he his still young and didn't want to further punish him.