Was that quote from a paint less dent repair company or a normal body shop? Ouch, either way. I'd very tempted to call it fate and keep the vehicle for the teenage drivers, knowing it is a safe reliable vehicle for them to drive that is unfortunately not worth as much as it once was to a potential purchaser.

If that is what a regular body shop quoted I would get a quote from someone who only does paint less dent repair. If that number is lower than $7k, then my original thought on pricing might still work if you want to sell it.

If $7k is strictly the cost of paint less dent repair maybe get the quote itemized just for the visible locations not on the roof, and use that number or half the original $7k as your discount to subtract from full asking price?

You're in an unlucky position, you have a vehicle that is worth much more than most people are going to be willing to pay because of the cosmetic damage. Fortunately, it is a very desirable vehicle to begin with, so that should "buy back" some of that difference.

If you really want to sell, I would evaluate what you would have been willing to pay for this vehicle as-is if it had been for sale when you bought your newer used duplicate Sequoia last year. If you are honest with yourselves in that appraisal, then list it for that price and be prepared to beat back all the people who try to get you to go lower, and prepare for it to take a little longer to sell than it would have.

Sorry you're in this spot, hail sucks.