I've used a Pilot shaker mechanical pencil [1] over 20 years ago, and I'm quite surprised that the shaking mechanism, and many other quality-of-life improvements, still aren't that ubiquitous.
Isn't a button on side that you can press with pointing finger much simpler and faster way for achieving same thing? Was shaking in the video exaggerated and single flick of wrist sufficient or do you really need to shake that much? Looking forward hearing from someone who has used it, from the video it looked more like a gimmick than practical improvement.
[1] https://www.worthpoint.com/worthopedia/pilot-id-shaker-mecha...