Yes, but also no. I work at The Broad Institute and I deal with these genomes all the time. Long story short: there's tons of redundant data in these genomes because of the imperfect nature of sequencing so the real file size is many times bigger than that. Though in theory if we had perfect sequencing then it'd be around that size.