Over here there's a brand called mama that's found along with indomie in most stores. And a couple of local brands sell the same thing but much more expensive, presumably somebody buys that as well.

Lots of ‘em. Try the korean brands like nongshim, buldak, and ahri.