Tomorrow night I'm making a marinade for Pork Vindaloo. The recipe calls for "10 dried red chilies, with half the seeds removed." I can't find dried red chilies, so I plan to use red pepper flakes as a substitute. However, I haven't a clue how much to use. It's probably worth noting that the chili seeds are the main way to control the heat of this very spicy meal. I'm looking for suggestions for how much pepper flakes to use, and I'm open to other suggestions for a substitute - something dry, as the first step in the recipe is grinding the dried chilies with other spices and seeds. Thank you!