Here's what I paid for my Stinger in Korea.
I got the 2.0T RWD, Platinum trim (should be similar to the Premium trim), brown interior, Deep Chroma Blue = KRW 37,800,000 (~35k USD).
The only additional option extra is the sunroof = KRW 900,000 (~850 USD).
Destination = KRW ~300,000 (~270 USD).
Registration (I believe this includes road tax) = KRW ~2,800,000 (~ 2,650 USD).
(discounts) KRW ~2,500,000 (~ 2,400 USD) as cashback from Hyundai Credit Card + some M-points (Hyundai credit card points) + a bit of Red-points (Kia's membership points). I can use these points as discounts for servicing the car, valet parking at some shopping malls, and at gas stations.
(extras) free full-HD
dashcam, windows tint, and paint coating.