That's good to know (gets rid of it as a potential unknown, anyway).
It was r3d samples... the ones from RED.com. And yeah, LCG seemed surprised 6k WS 13:1 played back as well as 5k FF at 6:1 (which makes sense, since 13:1 is much [2x?] easier to playback than 6:1 and 6k WS is almost the same as 5k FF in overall resolution). At 8k 8:1 I think he only reduced the playback resolution to 1/2 (not sure about debayer quality; he didn't mention it, so I presume it was full) and it was all done on a 1080p timeline.
In any case, I'm glad to hear about the 8k & 12k braw playback... It's crazy if that can potentially playback realtime/full res on a ~$1k 2.5lbs MBA.