And replanted it as grass? What's the process and how big a job is it? I'm imagining drilling and hacking it off in slabs, then top soil.