Yeah, good summary - I’m not using the latest version, but LiveTV channel changing still takes a second (on a dual tuner machine), but, like you said, we rarely watch LiveTV now and if we do, we’re not really channel hopping either.