I thought I would use my EX7000 as a video library, and the kids can watch films off the hard drive, I have tried putting AVI films on, but the PVR listing will not come up on screen, anyone know what the EX7000 records in, EG AVI. or EXE. i know the channels had a TBN. file.........