I’m very excited about this. I know it’s been a long process, and I can’t imagine the amount of work that were put into this already.
Yes, there are. Some early home video versions have them as well. Wish I had an HBO airing from 1981 to check the credits.
I am expecting a 1985 japanese edition of The Shining on LaserDisc that is said to have the blue credits, I might be able to help (if I can get my LaserDisc player to work). Why are you wishing for a HBO airing specifically? Are you suspecting multiple blue credits variations?