Resolved with changeset #130427966, though I wish we could get some official shapes from the county rather than trace aerial imagery. Arlington's GIS portal seems to indicate the data is not public domain...maybe we could advocate for more open data.

https://www.openstreetmap.org/changeset/130427966