Still, if actually ported from the original binaries, that should total less than 500 MB if we assume <50k per level (which I think is generous if we're talking compressed size)