Any idea of what our number of downtown residents is now?

Just got back from Nashville and couldn't believe all the development, more than anything I had ever seen in Austin, Dallas or Charlotte. Read an article that DT Nashville currently has 12,000 residents living downtown and projected 20,000 by 2022. I would kill to have 1/100 of the development going on that they have. (which is hard to imaging with everything we have going on, but what we have doesn't even touch the surface to them) Would love to see a lot of their midrise dense development around the Gulch or Vandy take place around Scissortail Park.