Fantastic resource, thanks!
I downloaded a bunch of local maps yesterday.
One thing I found handy - save a screenshot of the map with all the "red dots" on them. Then, as you download each one, you can use an editor to add the name of the map above each "red dot" on the regional map.
Some of the map names aren't immediately recognizable, and if you use the above method you'll have a quick reference guide to the exact map you need.
Did a quick DFW mock-up to show you what I mean: