Wouldn't his employer be responsible for injuries recieved while on the job?
Workman's comp probably paid him what it owed, but workman's comp doesn't pay much. If the accident was someone else's fault, then he should be able to collect the difference from their carrier, in addition to what he got from workman's comp.