My friend was punched hard in the leg by a hot-head coworker over something mundane. It was hard enough to leave a large bruise. This was the second time he has been punched by this guy. He waited a week to report it because he was embarrassed. He has lost sleep over this, has become depressed, is scared to go to work, and is even a little scared of other coworkers for fear that they might hit him. He has a meeting soon with his boss, the union rep, and the guy. He is afraid he will be pressured into letting it go. He is also afraid that the situation won't change and that the guy might even try to retaliate at some point (the guy has a reputation for being a hothead).
What should he do or say?Oh, he took pictures of the bruise and showed it to his shop steward when it was still visible.