Wow, these mice were a lot faster than I expected. In the last part of the video, they talk about fans in the mouse that suck the mouse to the ground to prevent slipping.
The first time the video shows a mouse, I was annoyed by them showing a very clearly sped up recording, which made it difficult to follow. Only later it dawned on me that it's real time, not sped up.