That's a very useful link. Most of the packaged seitan is expensive. That would be much more economical, though I'd still need to learn more about it (and how to add flavors to it).

Thank you so much.