Thai-style Cabbage Noodles (annotated)

Another recipe from my days in Asia:

Thai-style Cabbage Noodles - a fusion cuisine experiment

Cabbage noodles are notable for being incredibly simple to make - basically you saute some cabbage, add it to noodles, salt and pepper it, and you're done. So what happens when we needlessly complicate the procedure by making instead a pad thai type dish with cabbage? Deliciousness.

[Cabbage noodles are a Hungarian recipe, for the record, and it has already been modified to be vegan (Hungarians traditionally put some sort of meat in it, I believe, but the friend I got it from was a vegan, so that's how I learned to make it. Also, I don't eat meat, so it's kind of a moot point. --E]

Stuff you need:
2 tomatoes
1 onion
3 cloves garlic
some mushrooms [I tended to use dried shitakes, since they are better than almost anything in the world. Straw mushrooms would also be good. --E]
a chili pepper or two [I have a heavy hand with the peppers. For the record. --E]
pad thai sauce or mushroom sauce or oyster sauce or hoysin sauce - mushroom/oyster is more authentic and harder to find/less vegetarian. I used pad thai sauce. [At the time I was looking for these things, I had spent the day trying to explain to a woman in a marketplace in Vietnamese that I wanted sauce from Thailand for noodles, which was of course confusing. These things can all be found at an Asian grocery in the US, and you don't have to speak Vietnamese/Chinese/Thai/whatever to get them. --E]
soy sauce mmmmm [At the time I wrote many of these recipes, I was living in a very warm climate, which means that I tended to put a lot of salt on my food, since I craved it like nothing else. You should be careful before you follow suit in more temperate climes. --E]
salt
about a quarter of a cabbage - more or less to taste [Either regular green or "napa" (白菜) will work. I believe I originally used a green cabbage. --E]
rice noodles [Medium to thin is best. --E]
1 cup of water

Methodology

1. Cut up the veggies, heat up some oil in a pan and drop in the garlic, the mushrooms, and the pepper. Let it saute until it smells delicious. Do not look away, they will burn. The Thai way of dealing with garlic is basically to smack it with the knife and then cut it up still in the wrapper and fry it also still in the wrapper, producing something a bit crunchier than normal. I kind of like it, and it saves the hassle of peeling garlic, but you can totally do it however you want.

2. Add in the onion and the cabbage. Cook them until the cabbage begins to wilt and take up less space. Add the tomatoes.

3. When everything is looking pretty good, or when you are tired of wrestling with the damn bottle of pad thai sauce (that stuff is worse than ketchup, to get it to come out) add about a tablespoon of pad thai sauce and about two tablespoons of soy sauce. Mix it in. Add salt if you want. You could also add brown sugar or chili paste if you had/wanted those things.

4. Add the rice noodles and dump in the water. It will bubble around for a while - keep it on medium-high heat and stir a lot. When you can cut the noodles with the edge of the spatula, it's done (alternatively, when they are not crunchy to taste). Add additional stuff (salt/chili/pepper/soy sauce/pad thai sauce/sugar) as you want. Serve.