Registros perdidos ou raros da dublagem brasileira

De onde vem a info que a Cinevideo dublou o primeiro Pânico? Tipo, faria sentido, mas ao mesmo tempo não faria porque a dublagem literalmente nunca apareceu em lugar nenhum, sei lá.