Gravel excavation