There is a truck mounted tool for excavation that uses pneumatic pressure in conjunction with suction to remove dirt from around gas pipelines and such. Anyone know the name of it, and if there are small versions to be rented?