He was green later, but was that Grey Hulk the first time they showed him? I’d love to see marvel do something with that and maybe this could be a setup.