TBH, I am surprised that as a general practice, any official Korg public presentations (or anybody's, TBH) don't run a little Zoom pocket recorder on the PA's direct outs. That way, if a user makes a video, at least they can replace the camcorder mike with the audio from the board, and re-post the video (with the owner's permission) with direct audio...