Totaled

Okay guys, a few weeks ago I posted whether my car will be totaled from a hailstorm. The other day I received a call from the body shop, saying their estimate is $9,688 for repairs. I’m guessing Progressive will decide to total my 2023 Kia Rio?