Isso indica que eles são arquivos AVI comuns (aparentemente não "criptografados"), mas usam o codec TSCC (Techsmith) para codec de vídeo e MP3 para áudio.
Qualquer jogador pode reproduzir áudio MP3 para que o áudio seja reproduzido corretamente. No entanto, um suporte deficiente ou incompleto para o codec de vídeo TSCC pode fazer com que o vídeo não seja exibido e pode até causar o gaguejo do áudio devido a problemas de tempo.
De qualquer forma, se qualquer player de código aberto estiver à frente da curva no suporte a um codec obscuro, será o VLC. Tente instalar isso e veja como você está.
Pelo menos este tópico do fórum parece indicar que o player VLC para Linux deve tem suporte a codec TSCC embutido, mas há outros tópicos do fórum que dizem que ele não é confiável. Vale a pena tentar.