I'll check on those maps for sure and see if their in the pack or not. If not, I'll add for down the road (map pack 2).
As far as the pack is concerned, yea, it is a big and beefy download. There are 2 maps in it that we "don't use" (one is the backlot_2, because our server has an updated version from what's in the pack), but honestly, pretty much every other map is going to make an appearance in a rotation. Originally the map pack was designed by RunningMan (who rounded up all these puppies!) and put in the pack so all us members could get them maps fairly quickly. We had a map testing day on the small maps server and were awe'd so much that we decided there was no reason to necessarily break them up. Each and every one either awed us, offered something no other map did, or just plain was stuffed with good, quality content. For non-members, or members who didn't want to grab the pack (you still can, fyi) I think once all the maps are used up, so to speak in terms of the running rotations (I anticipate 4 rotations, we're on #2 atm) I will break up the maps by rotation into smaller map packs. The only reason I didn't do that from the get-go was because so many of us already had the full version and it made it easier for us all to share them that way. The other minor issue is getting anyone who wants to help seed the files to actually be seeding the correct map pack.
And you, like Woz, I hope are looking at your usermaps dir noting those 5gb of files, and not at the actual map pack. Those other maps are likely all the zomie mod maps and whatever other custom maps you've come across in your travels. The map pack SHOULD in the neighborhood of 3.2GB, and is 85 maps.