I have been lucky enough to see inside several restaurant kitchens
They have old yoghurt cartons with all the immediate spices and herbs required.
The general spice mix used is a blend of coriander, cummin,curry powder,turmeric and paprika.
There was chopped fresh coriander and a special mix of ground coriander and cummin.
Chopped garlic and pureed garlic ginger, ground almond, ground coconut and salt too.
There was definitely no fenugreek seeds or ground fenugreek seeds around.
But there was a whole carton devoted to dried fenugreek leaves.
In fact, I never saw anything cooked without some in.
It was in the madras, baltis,rhogan josh, vindaloos and even lentil dishes.
I reckon that any reference to "a pinch of fenugreek" has to refer to the leaf.
I am lucky in having several asian supermarkets near me.
Dried Fenugreek Leaf (Kasoori Methi) is very cheap and easy to get.
A seven inch tall box costs about 45 pence.
It also stinks the house out if it's not shut away.