Of all reviews AND official instruction manual only this page managed to provide information about buffer size of camera’s highspeed filming feature.

PS. Customer-grade highspeed is still at the rudimentary level. Nothing beats 5 second buffor at 1200 FPS by Nikon 1 J2 from 2012 for a price of $50 used