Amazing. It would be great to have some sort of open-sourced effort to catalog government owned buildings. Kind of like an OpenStreetMap. I don't see why most govt buildings shouldn't be publicly listed on a database; they can obviously classify the ones they don't want everyone knowing about.

$1.7B is a lot. I'd be curious how much they'd (we'd) get if the government sold used buildings that are now in expensive areas. For example, the Department of Transportation has a huge gigantic building in the middle of Kendall Square in Cambridge, MA, which is the most expensive office space in New England. I have to imagine the land alone is worth a ton.