Crab sucker's

Last time we were in port a there were a couple guys on the beach with these small (like 2' long) pvc pipe 'suction ' things they were using to suck crabs (hermit i think) up out of the sand

The kiddos loved it and were having lots of fun seeing all the little crabs

The guys said they purchased the pipe things locally, but i don't know what they are called.

Anyone have any idea what they might be called?