This was posted from @DaveMalby on twitter.
http://twitter.com/DaveMalby/status/15958890651
I couldn’t give a full answer as I wanted to on twitter. I would say at least 18 workers.
6 to figure out how to fill in the hole.
6 to figure out what to fill the hole with.
6 to actually fill the hole.