Literally he got no punishment.
Except his friends, getting their games revoked.
That sucks, I once gotten a game from a friend, I didn't know it was bought with illegal crap, my game got revoked and he got banned from Steam.
And that was one game, here we talk about >500 games.