There are multiple other people in the comments saying they had quarter panels repaired for $15K. Which is still a lot, but it’s not $55K.

There’s definitely more to that story.