Sort:  

Yes, that's him. His alter ego is Super Grover.

I grew up with Sesame Street..it's a shame kids these days don't have it.