ha, that dude is not making money on a total loss on a 9400 dollar payout.....his rates are going to "rip his O-ring" so to speak. lump sum vs. annuity or somesuch.
there's always the option to buy back the salvage titled vehicle for 300 bucks or so and part-out, but i don't think anyone's in...