I've been on the hunt for any Korean alphabet typewriter.  Yes, I saw the 10k H3K on ebay.  I'm not paying that much.  Any leads?