Just replaced our driveway where roots and Jimmy Hoffa buckled it in a zillion places. The brick edging is being ripped out and replaced by gravel this weekend by decree of her heiness Mrs. MS. I have no clue what type of gravel to get. On trails we hike, the trails are all small, gray, rough gravel. Gravel paths online show larger rocks. Should I be getting 3/8"? Fines? 5/8"? Do I even need to put / tamp down a rock dust base before the top gravel? This is simply on the sides of the driveway and more cosmetic than anything.