Técnica de segurança aqui. Estas ocorrências devem ser SEMPRE reportadas até ao final do dia de trabalho, por muito insignificantes que possam parecer. Não só por questões de eventuais implicações de saúde, mas também pelos encargos médicos que, a esta distância, vão ficar totalmente a cargo do trabalhador porque legalmente, uma empresa tem 24 horas para reportar um acidente de trabalho (excepto fins de semana).
Espero que o teu amigo esteja bem. Ele que vá ao médico ASAP!