Thanks for all the comments.
In addition to the 13 sf, it does have the 6 nesting boxes. I don't know if chickens bed down in them for the night or not - new to this chicken thing???
I could spend about double on a coop if anyone has better suggestions as well. The one for $999 isn't bad, but not too aesthetically appealing for the neighborhood (sounds silly I know, but some wouldn't be happy with it).
Realistically you'll need 2, maybe 3 nesting boxes at most, as chickens share nestboxes. You don't want chickens sleeping in them, as they'll poop all night in the bedding which the eggs will then sit on.
For 9 birds you'll want approx 9 feet of roosting space. It doesn't have to be a single bar, you can do it ladder style, just don't have the bars directly over one another or too close to being over one another as the birds on top will poop onto the ones below.
A nice garden shed would be a better bet for your money, and likely give you a more sound structure to work with. Aim for around 36 sq ft or more for the coop.