It appears after reading all the comments you can repair it with an aftermarket cat and maybe a sensor or two for less than $500.00. I would pay it out of pocket or total the car and keep it. Then repair it yourself. I am kind of surprised they called it a total loss however you can keep the car if you want to. Let us know what you do. It's probably a maximum of a two hour repair in a good muffler shop.