Kinda depends on context that we don't have.
If stealing vehicles is what he does, and he's unrepentant and/or likely to steal more vehicles, then yes because consequences help drive home lessons we need to learn.
If we want him punished purely to get even with his past misdeed(s), then no because that's for God to deal with.
Although being angry with someone for wronging you (or in this case our friend) is a natural reaction and not "wrong", we're called to forgive. So the other context we're missing (due to forum posts being a snapshot in time, and not just @Sierepica_Fuzzywalker...she was just the one who voiced the feeling) is whether our hearts turned from anger to forgiveness and hope that the thief gets a second chance and uses that second chance to be better...as we take the time to consider how much each of us has been forgiven for.
