If you don't want to do that, you could write to the guy's manager and tell him what happened, but you can't "get him fired" as that's the manager's decision. There may be less serious disciplinary procedures, especially if he's a good worker in other respects and has never done anything bad before.