First of all: you guys are sweet sweet sweet. Your comments have been lighting me up. Sweet sweet sweet, every one of you.
Second: a realization. I listen to the same free Christmas music station every year. (You can listen to it too, if you click on that link.) I created it on Pandora a few years ago. I think I finally have all of the random Josh Groban thumbs-downed into oblivion. It's just old retro Christmas. My favorite kind.
Listening to it this year, I remembered where Hal got his name, how it popped into my head and stuck there and ended up the baby naming table.