NOTE: This is the same curry as my other Vegetable Thai Red Curry, except that it serves more people. I have increased the quantity of broccoli and pumpkin as these are the two vegetables that sing a number one hit in this curry.