After few attempts to place an order, I've finally received my CCS Type 1 adapter. Tesla Korea announced that they would provide a standard charging adapter for Tesla owners in Korea by end of the year. And there was a third party that developed it beforehand. I didn't want to risk it, and it turned out to be a worth of waiting for.
Based on the price and the wattage, the adapters from Tesla are priced at 7kW/90USD. J1772 costed me about 100 USD, and CHAdeMO costs 400 USD, and it is known to only provide power up to 40kW. SETEC's price was pretty reasonable, assuming it would provide up to 100kW with its CCS Type 1 adapter.
Now the game has changed. Tesla Korea's CCS Type 1 adapter can charge over 100 kW at 250 USD. And it is much lighter and smaller than SETEC's; it fits inside the center console.
I don't know when they'd be available in the US, but it is definitely worth to wait for.