Wish I could help yiu.
I had a Mini Korg in about 1974 or 5. Probably the same model. I don't recall if it even came with a manual. I know there was no case or anything with it when I bought it new. As I recall I paid about $400 for it.
Lot's of fun weird sounds!
Good Luck, JB