Running F12 Gnome desktop, property for a loaded DVD indicates 29.3GB iso file is 7.5GB. Anybody know why? The iso seems to play okay, but I'm wondering what's missing and how can the DVD be reporting that much?