What to do with crawl space entrance? Wanting to put in cement patio in this corner.