Christ almighty that sounds nasty, hope the dude is alright !
Took the tip of one of my fingers about a year ago with a grinder, the smell of burnt flesh was worse than the pain
Didnt hurt too much at the time but next couple of days were mighty sore !