...from my days as an insurance adjuster....
I would ask how the damage was repaired and would like to see a before photo. PDR (paintless dent repair) is fine on smaller dents - nickle or so. Quarter size is questionable depending on location, it could re-appear and paint could peel off later. From my own personal dent experience on my 2010 TE (baseball impact), the T4r sheet metal is pretty thin and pliable. Oddly enough, thicker metal takes more damage in a damaging hail storm than thinner metal. Thinner stuff will trampoline it back - to some extent, and will be easier to PDR without paint damage.
Do some research on the subject of PDR vs. conventional repair for hail. If it were damaged enough for conventional hammer-out/repaint, I would expect a MAJOR discount. It doesn't take much to total a vehicle when such a repair is warranted.