Just used simple Quicktime screen capture, but had to do some weird wired connecting to feed both the mic and the internal sound to the final video. I know there are definitely easier ways to do this!