I'm re-doing a customer's beds around his pool that are about 800 square feet combined. The customer has informed me that he needs material for his beds that he won't have to worry about blowing into his pool so I have been looking at crushed red brick and 3/4" - 1 1/4" decorative "egg rock" These materials are sold by the ton and I am a little un-educated as to how much one ton of such materials would cover. I need to spread about 3" thick uniformly. Any help is appreciated. Thanks in advance.