The patio is done, but because of the subsidence of the fill around the house, they had to grade from the edge of the patio down to the current ground level by adding a mound of new topsoil. In theory, we could put down some grass seed and it would eventually grow.
In practice, we have two toddlers.
So we're laying sod this afternoon. daisy_knotwise picked up seven rolls of sod before it became apparent that we would need a lot more sod than that. She's gone back for another 21 rolls. That should do the job.