Hello All, I need some advise here. There is an open pit under my front porch and the soil seems to have washed out from under the adjoining sidewalk. Neither the porch or walk shows signs on sinking. Should I fill in with gravel, soil or just leave it alone?