Подскажите, пожалуйста, есть ли на трипком есим с корейским номером? Чтобы сообщения приходили?

Там прописывается прям в названии, если с номером

на трипкоме только туристические симки, для чисто корейской (через которые потом регистрации на сайтах возможны и тд) нужна уже айди карта...