Does anyone here download shows from their Roamio to their iPad from out of home? I'm trying to get an idea of a typical file size for those downloaded shows. Will it be the traditional 6-7GB per HD hour? Or are the files compressed and scaled down significantly to account for the limited space on a tablet? Thanks!