He should sue the department for a workers compensation claim.
And he can. Since they required it to work he can file for it and he can file for disability.