What red dwarf series is that still from? Was there a newer one?
@Old_Dave here ya go Old_Dave.
https://en.m.wikipedia.org/wiki/List_of_Red_Dwarf_episodes.
Ace Rimmer joins in in Season 7.
I recall seeing a few with him when it was in reruns on PBS.
@tw33k
Are they calling it HAL?