Comment by jimmyrocks

There is also a good buildings dataset from DRCOG that we're (OSM Colorado) importing into OSM. Reach out to us, or come to our next meetup if you're interested.