You need 2.5 cubic yards of washed drain rock. The supplier can do the weight conversion. The yardage is the most important number, because you are filling a given volume and weight per yard can vary. A calculator on the internet at this site says it is 3.5 tons at 2835 yards per ton. Give it a try inputting 1 foot width, 80 foot length and 10 inches thick (0.833 feet).
http://www.csgnetwork.com/aggregatecalc.html