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 don’t have the 1981 HBO airing but I do have the first UK broadcast of the US extended cut… 1992?
At the time it was the only way to see the US cut as there was no Region 2/Pal home media version available then.
I’ve no idea how this differs from all other available versions but I can confirm it has the blue end credits.
I’m also curious as to why you would desire the specific 1981 HBO airing. If the 35mm print already has them, are you expecting something different from earlier releases / broadcasts?