Sorry for that! I hope you're ok!
I had a totaled car for less then that (rear ended) but a different manufacturer.
I think it depends as the labor rate seems to be going up with inflation and used car values seems to be going down so there might be a chance the insurance to total it.