If it's compressed it should be between 5 and 6 gigs.

Edit: just checked, it's 7.7 GB.