Anne: Here's your video
I have noticed the garlic peeling tricks depend on how fresh your garlic is. My fresh garlic from the garden doesn't work with them. The older stuff from the store does.
The way I found that worked best for my fresh garlic was break them up, soak them, cut the stem part off, and then just peel them, the paper comes off easily.
I haven't used a machine. I have tried shakers of various types, and looking at paint shakers, yeah, they wouldn't move enough. Looking at your link, it doesn't say how they peel it. Not something I'd buy. If you are looking at machinery, check the restaurant supply places on the net. Those would be known to work.