Or, probably more to the point, what video codecs and formats they use. I’ve been ripping h.264 .mp4, which Premiere SHOULD handle.