What do you call those big pea things you get in Thai green curries? And can you buy them in supermarkets or Asian grocers? I feel my Thai curry is lacking something and this might be it!