Thanks for all the replies. We ended up booking a last minute flight on KE instead and canceling our KTX tickets for $.66, since our hotel was on the GMP subway line in Seoul and we didn't want to deal with a 3 hour train ride (and of course, KE flights earn us EQMs!).