Yer, unfortunately not many militaries really cater for non-war type wounds. Most countries see it as nothing more than a workplace accident, yet I often still don't understand, and can understand your angst with this, is that if this happened in a non-Government workplace, he would likely have been compensated / been able to sue the workplace insurance for benefits to assist the rest of his life. Yes... signing on that dotted line and working for a military, unless you get injured in war, you pretty much get nothing and can't sue the Government due to national protections they have against just that.
I get it... go figure, and I've never been able to work that out myself. Why don't the military have workplace compensation insurance, just like any other business has to have incase a worker gets injured? It does baffle me.