I probably made a mistake when estimating this. I exported 21 tiles to MBTiles at 429KB, and extrapolated based on the 5.7 billion tiles it would take to do D.C. at 13-16.

I'm still waiting for a larger job to complete, so I don't have a sense of the file size there.

Edit: Got it. The default export is the entire world. Whoops.