That's a lot of food! Currently living in Seoul for 7 years now.
Yes, oddly, your AC bibimbap is missing the very necessary sesame oil and gochujang red pepper paste.
Lotte Department Store basement food courts are always a WILD mob scene!
That pizza burger place is definitely not a popular chain haha. It's most definitely a relic from old Korea when they didn't have big American chains and made their own version of what a pizza, hamburger and pasta place should be. Aka completely different (and I bet the pasta sauce was kind of sweet, too)!
And yes KTX First Class has waaaaaaaaaaaaaaay fewer seats so they do sell out much more quickly.