Yes Jenny, I think that's correct. Although I confess I've never actually done the Moroccan tea service (or whatever it is called) myself. Just read about it.
I'm sure it's much better with fresh mint and everything done properly, but I can attest it's still pretty tasty with dried mint. I mean, that's exactly the "Moroccan Tea" flavored mix I buy. Just mint leaves mixed with gunpowder tea. I just don't know how that impacts the proportions if you try to steep the tea separately like in that recipe.