TIL 11 years after the original, there was a Grinch Halloween Special that served as a prequel to "How the Grinch Stole Christmas!"

Halloween is Grinch Night (25min 21sec)

I watched this when it premiered back in 1977. I was disappointed that it didn't become a holiday tradition like the Great Pumpkin, etc.