Getting the police to pay out takes time and money, though. If this really would count as a work-related injury (I'm skeptical) then this fellow would collect from the employer, and the employer (or their insurance) could then go after the police to recover the funds.

Well, good thing he's not an employee. So it's going to be his own health insurance or the taxpayers, if he doesn't have insurance.