When installing Red Star 3, you're prompted to select a city for your time zone. Interestingly enough, Seoul, South Korea, isn't an option.