I found it a bit funny that the high-FPS version's framerate is mentioned as ">15Hz" in their
datasheet, and indeed 16 > 15. It still looks rather slow for good video though, and I wonder why, if they were going to be export-restricted anyway, they didn't go for the full 30Hz --- maybe due to processing to remove noise? It'd be interesting to see what raw signal the sensor outputs.