I have used one of those big vacumes
But we were digging a hole
As we got the dirt loose , it was vacumed away
I ended up in the bottom of a roughly 4' dia hole 12' deep
I fixed the sewer line and luckey for me , someone else had to fill the hole
Those vacumes are loud but move a lot of materal quick
John