"Gideon" wrote in message
. ..
20' x 26' x 0.25' = 130 cubic feet = 975 gallons = 6.5 tons of pea gravel.
Add more weight for the soil which will get vacuumed along with the
gravel. That's a lot of vacuuming, a lot of weight, and a lot of emptying
of
a shop vac.

==========================

George.com wrote
a good bagless heavy duty vacuum cleaner and simply vacuum it up.

I don't deny it may be some vacuuming. Clearing the bulk of it with a shovel
and wheel barrow is obviously what needs to be done however the scrapings
can be vacuumed up. I don't mean with a ****y little household vacuum. I was
thinking industrial or at least a wet n dry. It is one part of a tool kit
for removing the gravel.

rob