Is he the envious Hulk? Is he green with envy or jealousy? The color of rage is red, which I was also pushing for because ...