round-pointed shovels can also be helpful for digging gravel that is stuck in soil, or if you're digging out coarse or medium-sized gravel by itself. Also called pointed-digger shovels ...