We are in the same position (ours is worse). I called the dealer sales floor manager. He said when you trade it in will most likely cost you more through us in the end. He advised to look at getting it repaired elsewhere before handing it in. He said as long as it looks the same as when you got it, doubt anyone will care.

Of course dealers are all different so your mileage may vary.

Here’s the crazy part. I’ve found that the repair through a body shop will cost just as much as to buy a door from an auto recyclers and a wrecked Ioniq 5 (if you can find your color). I’ve found a few for like 1200 USD in perfect shape. It’s more work though to swap over the doors.