@jtrainer @marcoarment Ah, those were the days! :-) At least there’s still HBO, right? Game-over for cable when that can be bought direct.